let oper_on_values ~with_alarms info f v1 v2 = arithmetic_function with_alarms info (Ival.apply_set info f) v1 v2