let subdiv_float_interval v = try let v_ival = project_ival v in let ival1, ival2 = Ival.subdiv_float_interval v_ival in inject_ival ival1, inject_ival ival2 with Not_based_on_null -> assert false