builtin F64 - tadashi9e/gmp4pony GitHub Wiki
primitive val F64 is
FloatingPoint[F64 val] val- FloatingPoint[F64 val] val
new val create(
value: F64 val = 0)
: F64 val^- value: F64 val = 0
- F64 val^
new val pi()
: F64 val^- F64 val^
new val e()
: F64 val^- F64 val^
new val from_bits(
i: U64 val)
: F64 val^- i: U64 val
- F64 val^
from[B: ((I8 val | I16 val | I32 val | I64 val | I128 val | ILong val | ISize val | U8 val | U16 val | U32 val | U64 val | U128 val | ULong val | USize val | F32 val | F64 val) & Real[B] val)]
new val from[B: ((I8 val | I16 val | I32 val |
I64 val | I128 val | ILong val |
ISize val | U8 val | U16 val |
U32 val | U64 val | U128 val |
ULong val | USize val | F32 val |
F64 val) & Real[B] val)](
a: B)
: F64 val^- a: B
- F64 val^
Minimum negative value representable.
new val min_value()
: F64 val^- F64 val^
Maximum positive value representable.
new val max_value()
: F64 val^- F64 val^
Minimum positive value representable at full precision (ie a normalised number).
new val min_normalised()
: F64 val^- F64 val^
Minimum positive value such that (1 + epsilon) != 1.
new val epsilon()
: F64 val^- F64 val^
fun box bits()
: U64 val- U64 val
Exponent radix.
fun tag radix()
: U8 val- U8 val
Mantissa precision in bits.
fun tag precision2()
: U8 val- U8 val
Mantissa precision in decimal digits.
fun tag precision10()
: U8 val- U8 val
Minimum exponent value such that (2^exponent) - 1 is representable at full precision (ie a normalised number).
fun tag min_exp2()
: I16 val- I16 val
Minimum exponent value such that (10^exponent) - 1 is representable at full precision (ie a normalised number).
fun tag min_exp10()
: I16 val- I16 val
Maximum exponent value such that (2^exponent) - 1 is representable.
fun tag max_exp2()
: I16 val- I16 val
Maximum exponent value such that (10^exponent) - 1 is representable.
fun tag max_exp10()
: I16 val- I16 val
fun box abs()
: F64 val- F64 val
fun box ceil()
: F64 val- F64 val
fun box floor()
: F64 val- F64 val
fun box round()
: F64 val- F64 val
fun box trunc()
: F64 val- F64 val
fun box min(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box max(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box fld(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box fld_unsafe(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box mod(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box mod_unsafe(
y: F64 val)
: F64 val- y: F64 val
- F64 val
Check whether this number is finite, ie not +/-infinity and not NaN.
fun box finite()
: Bool val- Bool val
Check whether this number is +/-infinity
fun box infinite()
: Bool val- Bool val
Check whether this number is NaN.
fun box nan()
: Bool val- Bool val
fun box ldexp(
x: F64 val,
exponent: I32 val)
: F64 val- F64 val
fun box frexp()
: (F64 val , U32 val)fun box log()
: F64 val- F64 val
fun box log2()
: F64 val- F64 val
fun box log10()
: F64 val- F64 val
fun box logb()
: F64 val- F64 val
fun box pow(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box powi(
y: I32 val)
: F64 val- y: I32 val
- F64 val
fun box sqrt()
: F64 val- F64 val
Unsafe operation. If this is negative, the result is undefined.
fun box sqrt_unsafe()
: F64 val- F64 val
fun box cbrt()
: F64 val- F64 val
fun box exp()
: F64 val- F64 val
fun box exp2()
: F64 val- F64 val
fun box cos()
: F64 val- F64 val
fun box sin()
: F64 val- F64 val
fun box tan()
: F64 val- F64 val
fun box cosh()
: F64 val- F64 val
fun box sinh()
: F64 val- F64 val
fun box tanh()
: F64 val- F64 val
fun box acos()
: F64 val- F64 val
fun box asin()
: F64 val- F64 val
fun box atan()
: F64 val- F64 val
fun box atan2(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box acosh()
: F64 val- F64 val
fun box asinh()
: F64 val- F64 val
fun box atanh()
: F64 val- F64 val
fun box copysign(
sign: F64 val)
: F64 val- sign: F64 val
- F64 val
fun box hash()
: USize val- USize val
fun box hash64()
: U64 val- U64 val
fun box i128()
: I128 val- I128 val
fun box u128()
: U128 val- U128 val
Unsafe operation. If the value doesn't fit in the destination type, the result is undefined.
fun box i128_unsafe()
: I128 val- I128 val
Unsafe operation. If the value doesn't fit in the destination type, the result is undefined.
fun box u128_unsafe()
: U128 val- U128 val
fun box add_unsafe(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box sub_unsafe(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box mul_unsafe(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box div_unsafe(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box divrem_unsafe(
y: F64 val)
: (F64 val , F64 val)- y: F64 val
fun box rem_unsafe(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box neg_unsafe()
: F64 val- F64 val
fun box eq_unsafe(
y: F64 val)
: Bool val- y: F64 val
- Bool val
fun box ne_unsafe(
y: F64 val)
: Bool val- y: F64 val
- Bool val
fun box lt_unsafe(
y: F64 val)
: Bool val- y: F64 val
- Bool val
fun box le_unsafe(
y: F64 val)
: Bool val- y: F64 val
- Bool val
fun box ge_unsafe(
y: F64 val)
: Bool val- y: F64 val
- Bool val
fun box gt_unsafe(
y: F64 val)
: Bool val- y: F64 val
- Bool val
fun box string()
: String iso^- String iso^
fun box add(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box sub(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box mul(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box div(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box divrem(
y: F64 val)
: (F64 val , F64 val)- y: F64 val
fun box rem(
y: F64 val)
: F64 val- y: F64 val
- F64 val
fun box neg()
: F64 val- F64 val
fun box eq(
y: F64 val)
: Bool val- y: F64 val
- Bool val
fun box ne(
y: F64 val)
: Bool val- y: F64 val
- Bool val
fun box lt(
y: F64 val)
: Bool val- y: F64 val
- Bool val
fun box le(
y: F64 val)
: Bool val- y: F64 val
- Bool val
fun box ge(
y: F64 val)
: Bool val- y: F64 val
- Bool val
fun box gt(
y: F64 val)
: Bool val- y: F64 val
- Bool val
fun box i8()
: I8 val- I8 val
fun box i16()
: I16 val- I16 val
fun box i32()
: I32 val- I32 val
fun box i64()
: I64 val- I64 val
fun box ilong()
: ILong val- ILong val
fun box isize()
: ISize val- ISize val
fun box u8()
: U8 val- U8 val
fun box u16()
: U16 val- U16 val
fun box u32()
: U32 val- U32 val
fun box u64()
: U64 val- U64 val
fun box ulong()
: ULong val- ULong val
fun box usize()
: USize val- USize val
fun box f32()
: F32 val- F32 val
fun box f64()
: F64 val- F64 val
fun box i8_unsafe()
: I8 val- I8 val
fun box i16_unsafe()
: I16 val- I16 val
fun box i32_unsafe()
: I32 val- I32 val
fun box i64_unsafe()
: I64 val- I64 val
fun box ilong_unsafe()
: ILong val- ILong val
fun box isize_unsafe()
: ISize val- ISize val
fun box u8_unsafe()
: U8 val- U8 val
fun box u16_unsafe()
: U16 val- U16 val
fun box u32_unsafe()
: U32 val- U32 val
fun box u64_unsafe()
: U64 val- U64 val
fun box ulong_unsafe()
: ULong val- ULong val
fun box usize_unsafe()
: USize val- USize val
fun box f32_unsafe()
: F32 val- F32 val
fun box f64_unsafe()
: F64 val- F64 val
fun box compare(
that: F64 val)
: (Less val | Equal val | Greater val)- that: F64 val