Batteries.Data.Float.Basic

source

def Float.pi :

Float

The floating point value closest to the mathematical constant π.

Equations

Float.pi = 3.141592653589793

Instances For

source

def Float.toRatParts (f : Float) :

Option (Int × Int)

Returns v, exp integers such that f = v * 2^exp. (e is not minimal, but v.abs will be at most 2^53 - 1.) Returns none when f is not finite (i.e. inf, -inf or a nan).

Equations

One or more equations did not get rendered due to their size.

Instances For

source

def Float.toRatParts' (f : Float) :

Option (Int × Int)

Returns v, exp integers such that f = v * 2^exp. Like toRatParts, but e is guaranteed to be minimal (v is always odd), unless v = 0. v.abs will be at most 2^53 - 1 because Float has 53 bits of precision. Returns none when f is not finite (i.e. inf, -inf or a nan).

Equations

One or more equations did not get rendered due to their size.

Instances For

source

partial def Float.toRatParts'.trailingZeros (v : UInt64) (c : UInt8) :

UInt8

Calculates the number of trailing bits in a UInt64. Requires v ≠ 0.

source

def Float.toStringFull (f : Float) :

String

Converts f to a string, including all decimal digits.

Equations

One or more equations did not get rendered due to their size.

Instances For

source

def Float32.pi :

Float32

The floating point value closest to the mathematical constant π.

Equations

Float32.pi = 3.141592653589793

Instances For

source

def Float32.toRatParts (f : Float32) :

Option (Int × Int)

Returns v, exp integers such that f = v * 2^exp. (e is not minimal, but v.abs will be at most 2^24 - 1.) Returns none when f is not finite (i.e. inf, -inf or a nan).

Equations

One or more equations did not get rendered due to their size.

Instances For

source

def Float32.toRatParts' (f : Float32) :

Option (Int × Int)

Returns v, exp integers such that f = v * 2^exp. Like toRatParts, but e is guaranteed to be minimal (v is always odd), unless v = 0. v.abs will be at most 2^24 - 1 because Float32 has 24 bits of precision. Returns none when f is not finite (i.e. inf, -inf or a nan).