Wiktionary
floor function
n. (context mathematics English) Function that maps a real number to the largest previous integer.