let
not_of_float r =
F
.p_rcmp
Formula
.
Ceq
r
F
.r_zero