let pretty_float_range fmt print_ampamp typname lv v =
    let use_hex = true in
    let v = project_ival v in
    let v = Ival.project_float v in
    let mn, mx = Ival.Float_abstract.min_and_max_float v in
        if Ival.F.equal mn mx
        then begin
            print_ampamp();
            Format.fprintf fmt "*(%s*)%s == %a"
              typname
              lv
              (Ival.F.pretty_normal ~use_hex) mn
          end
        else begin
            print_ampamp();
            Format.fprintf fmt "%a <= *(%s*)%s && *(%s*)%s <= %a"
              (Ival.F.pretty_normal ~use_hex) mn
              typname
              lv
              typname
              lv
              (Ival.F.pretty_normal ~use_hex) mx;
          end