The float function is exact on 32 bits machine but not on 64 bits machine with ints larger than 53 bits.

x**y computes x at power y, rounded up, expanded to its mathematical limit when it exists.

pow x y computes x at power y, rounded up, for 0 < x < ∞ and -∞ < y < infty.

Floating point square root, rounded up.

Floating point exponential, rounded up.

Floating point log, rounded up.

Computes sin(x) for x ∈ ]-2⁶³, 2⁶³[.

Computes cos(x) for x in ]-2⁶³, 2⁶³[.

Computes tan(x) for x in ]-2⁶³, 2⁶³[.

Arc-sine function.

Arc-cosine function.

Arc-tangent function.

atan2 y x returns the arc tangent of y /. x. The signs of x and y are used to determine the quadrant of the result. Result is in radians and is between -π and π.

Computes the hyperbolic sine, sinh(x).

Computes the hyperbolic cosine, cosh(x).

Computes the hyperbolic tangent, tanh(x).

Locally open to restore standard integer and floating point operators.