Error when checking floating point literal
The error Invalid floating point literal
is raised when trying to create a Why3 term corresponding to the following floating point constants:
0x0.000002p-127
0x0.0000000000001p-1023
Reproducer file: bug_float.mlw