let not_of_float r = F.p_rcmp Formula.Ceq r (F.e_float 0.0)