let
floats_ok () =
let
u = min_float /. 2.
in
let
u = u /. 2.
in
0. < u
&&
u < min_float