floor package:prelude-compat

floor x returns the greatest integer not greater than x