floor

floor x returns the greatest integer not greater than x
\x -> ceiling (-x) == negate (floor (x::Double) :: Integer)
\x -> ceiling (-x) == negate (floor (x::Rational) :: Integer)
floor x returns the greatest integer not greater than x.
supply the previous lower whole component
>>> floor (1.001 :: Double)
1
supply the previous lower whole component
>>> floor (1.001 :: Double)
1
Point-wise application of floor to a stream. Unlike the Haskell variant of this function, this variant takes and returns two streams of the same type. Use a casting function to convert the result to an intergral type of your choice. Note that the result can be too big (or, if negative, too small) for that type (see the man page of floor for details), so you must check that the value fits in the desired integral type before casting it. This definition clashes with one in RealFrac in Haskell's Prelude, re-exported from Language.Copilot, so you need to import this module qualified to use this function.
Approximate x to the nearest integer less than or equal to x.
Rounding mode to round towards negative infinity.
Synonym for round down
Round a type-level number towards negative infinity
Round towards negative infinity