Definition, synonyms and related words
simple past tense and past participle of round down
Of a real number, converted to an integer by having its fractional component removed.