let
boolean_of_float v =
F
.e_rcmp
Formula
.
Cneq
v
F
.r_zero