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