-
The parser used to always assign the [lower], [nearest] and [upper] to the same constant for any hexadecimal float. Which is obviously wrong. It is fixed by using [float_of_string] and rounding modes to compute upper and lower bounds.
The parser used to always assign the [lower], [nearest] and [upper] to the same constant for any hexadecimal float. Which is obviously wrong. It is fixed by using [float_of_string] and rounding modes to compute upper and lower bounds.