Use make_int_range and fixed formatting of an exception message