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