:: Int -> Float -package:llvm-hs-pure package:numeric-prelude

toEnum :: Enum a => Int -> a
numeric-prelude NumericPrelude NumericPrelude.Base
Convert from an Int.
norm :: C a v => v -> a
numeric-prelude Algebra.NormedSpace.Euclidean
Euclidean norm of a vector.
norm :: C a v => v -> a
numeric-prelude Algebra.NormedSpace.Maximum Algebra.NormedSpace.Sum
toScalar :: C a v => v -> a
numeric-prelude Algebra.OccasionallyScalar
toScalarDefault :: C a v => v -> a
numeric-prelude Algebra.OccasionallyScalar
fromScalar :: C a v => a -> v
numeric-prelude Algebra.OccasionallyScalar
ceiling :: (C a, C b) => a -> b
numeric-prelude Algebra.RealRing NumericPrelude NumericPrelude NumericPrelude.Numeric NumericPrelude.Numeric
\x -> ceiling (-x) == negate (floor (x::Double) :: Integer)

\x -> ceiling (-x) == negate (floor (x::Rational) :: Integer)
floor :: (C a, C b) => a -> b
numeric-prelude Algebra.RealRing
\x -> ceiling (-x) == negate (floor (x::Double) :: Integer)

\x -> ceiling (-x) == negate (floor (x::Rational) :: Integer)
truncate :: (C a, C b) => a -> b
numeric-prelude Algebra.RealRing NumericPrelude NumericPrelude.Numeric
round :: (C a, C b) => a -> b
numeric-prelude Algebra.RealRing NumericPrelude NumericPrelude.Numeric
roundSimple :: (C a, C b) => a -> b
numeric-prelude Algebra.RealRing
This function rounds to the closest integer. For fraction x == 0.5 it rounds away from zero. This function is not the result of an ingenious mathematical insight, but is simply a kind of rounding that is the fastest on IEEE floating point architectures.
fromIntegral :: (C a, C b) => a -> b
numeric-prelude Algebra.ToInteger NumericPrelude
realToField :: (C a, C b) => a -> b
numeric-prelude Algebra.ToRational
It should hold 
realToField = fromRational' . toRational
but it should be much more efficient for particular pairs of types, such as converting Float to Double. This achieved by optimizer rules.
floor :: (C a, C b) => a -> b
numeric-prelude NumericPrelude NumericPrelude NumericPrelude.Numeric