[NTG-context] Two coexisting number conversions (in headers and in texts)