From Reals to Integers: Rounding Functions, Rounding Rules

Abstract

A rounding function is a function mapping positive quantities into integers. Prominent examples are the floor function, the ceiling function, the commercial rounding function, and the even-number rounding function. Every rounding function induces a sequence of jumppoints, called signposts, where it advances from one integer to the next.