let cast_float_to_int ~signed ~size v =
try
let v1 = project_ival v in
let alarm_use_as_float, alarm_overflow, r =
Ival.cast_float_to_int ~signed ~size v1
in
alarm_use_as_float, alarm_overflow, inject_ival r
with Not_based_on_null ->
true, true, topify_arith_origin v