open-number-line-rounding