exponent_minus_lexing(1 e - 9, 1.0 e - 9).