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