2. Adjective. (mathematics) of a real number, converted to an integer by having 0.5 added to it, and the result being rounded down ¹
3. Verb. (past of round up) ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Rounded Up
Other Resources:
2. Adjective. (mathematics) of a real number, converted to an integer by having 0.5 added to it, and the result being rounded down ¹
3. Verb. (past of round up) ¹
¹ Source: wiktionary.com