rounded down adjective1 •Of a real number, converted to an integer by having its fractional component removed.
