Whilst e10 is parsed without a mantissa, 123 is parsed with an exponent. This is potentially confusing for the print-... options, as print-zero-exponent will print for cases with no exponent in the input, but print-unity-mantissa will not. Ideally both should have similar behaviour.
Whilst
e10
is parsed without a mantissa,123
is parsed with an exponent. This is potentially confusing for theprint-...
options, asprint-zero-exponent
will print for cases with no exponent in the input, butprint-unity-mantissa
will not. Ideally both should have similar behaviour.