floor package:classy-prelude

floor x returns the greatest integer not greater than x