let
boolean_of_float v =
F
.e_rcmp
Formula
.
Cneq
v (
F
.e_float 0.0)