floor package:cabal-install-solver

floor x returns the greatest integer not greater than x