rounded down

adj

rounded down

adj
1

Mathematics, Sciences Of a real number, converted to an integer by having its fractional component removed.

Related terms
rounded up

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.