2%float
     : float
2.5%float
     : float
(-2.5)%float
     : float
File "./output/FloatNumberSyntax.v", line 9, characters 6-13:
Warning: The constant 2.5e123 is not a binary64 floating-point value. A
closest value 0x1.e412f0f768fadp+409 will be used and unambiguously printed
2.4999999999999999e+123. [inexact-float,parsing,default]
2.4999999999999999e+123%float
     : float
File "./output/FloatNumberSyntax.v", line 10, characters 7-16:
Warning: The constant -2.5e-123 is not a binary64 floating-point value. A
closest value -0x1.a71368f0f3047p-408 will be used and unambiguously printed
-2.5000000000000001e-123. [inexact-float,parsing,default]
(-2.5000000000000001e-123)%float
     : float
(2 + 2)%float
     : float
(2.5 + 2.5)%float
     : float
2
     : float
2.5
     : float
-2.5
     : float
File "./output/FloatNumberSyntax.v", line 19, characters 6-13:
Warning: The constant 2.5e123 is not a binary64 floating-point value. A
closest value 0x1.e412f0f768fadp+409 will be used and unambiguously printed
2.4999999999999999e+123. [inexact-float,parsing,default]
2.4999999999999999e+123
     : float
File "./output/FloatNumberSyntax.v", line 20, characters 7-16:
Warning: The constant -2.5e-123 is not a binary64 floating-point value. A
closest value -0x1.a71368f0f3047p-408 will be used and unambiguously printed
-2.5000000000000001e-123. [inexact-float,parsing,default]
-2.5000000000000001e-123
     : float
2 + 2
     : float
2.5 + 2.5
     : float
-26
     : float
11.171875
     : float
-6882
     : float
44.6875
     : float
2860
     : float
-2.79296875
     : float
File "./output/FloatNumberSyntax.v", line 30, characters 6-11:
Warning: The constant 1e309 is not a binary64 floating-point value. A closest
value infinity will be used and unambiguously printed infinity.
[inexact-float,parsing,default]
infinity
     : float
File "./output/FloatNumberSyntax.v", line 31, characters 6-12:
Warning: The constant -1e309 is not a binary64 floating-point value. A
closest value neg_infinity will be used and unambiguously printed
neg_infinity. [inexact-float,parsing,default]
neg_infinity
     : float
0x1p-1
     : float
0.5
     : float
0x1p-1
     : float
0.5
     : float
2
     : nat
2%float
     : float
t = 2%flt
     : float
File "./output/FloatNumberSyntax.v", line 50, characters 0-35:
Warning: Hiding binding of key float to float_scope
[hiding-delimiting-key,parsing,default]
t = 2%flt
     : float
2
     : nat
2
     : float