Function
INTEGER-DECODE-FLOAT
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp
Slots on this function:
Documentation
:
The term {tt (
integer-decode-float
$tau$)} denotes the significand of the object denoted by $tau$.
Arity
:
2
Range
:
Integer