let
prop_of_float r =
F
.p_rcmp
Formula
.
Cneq
r (
F
.e_float 0.0)