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