Veritical number lines and rounding