let force_float kind v = try let i = project_ival v in let f, fi = Ival.force_float kind i in f, inject_ival (fi) with Not_based_on_null -> true, topify_arith_origin v