let boolean_of_float v = F.e_rcmp Formula.Cneq v F.r_zero