f64
🌌f64
f64 -- 64 bit floating point values
f64 are binary64-numbers as defined in the IEEE 754-2019 standard, see
https://ieeexplore.ieee.org/servlet/opac?punumber=8766227
convert this to a string.
redefines integer.asString:
convert this to a decimal number in a string. If negative, add "-" as
the first character.
redefines Object.asString:
casting bit representation to u64
create hash code from this number
redefines hasHash.hash:
create hash code for this instance
redefines integer.infix %:
division remainder
redefines numeric.infix %:
basic operations: 'infix %' (division remainder)
redefines numeric.infix *:
basic operations: 'infix *' (multiplication)
redefines numeric.infix **:
basic operations: 'infix **' (exponentiation)
redefines numeric.infix +:
basic operations: 'infix +' (addition)
redefines numeric.infix -:
basic operations: 'infix -' (substraction)
redefines numeric.infix /:
basic operations: 'infix /' (division)
redefines ordered.infix <:
does this come strictly before other?
redefines partiallyOrdered.infix <=:
does this come before other?
redefines ordered.infix >:
does this come strictly after other?
redefines partiallyOrdered.orderedThis:
get value of type T.
NYI: Once Eiffel-style 'like this' works, we can use 'like this' instead of
T and no longer need this feature.
basic operations: 'prefix -' (negation)
redefines numeric.prefix -:
basic operations: 'prefix -' (negation)