Wiktionary
rounded down
(context mathematics English) Of a real number, converted to an integer by having its fractional component removed. v
(en-pastround down)