rounded down

Short definition from Wiktionary

Verb

1. 1
   simple past and past participle of round down

Adjective

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