let boolean_of_float v = F.e_rcmp Formula.Cneq v (F.e_float 0.0)