mantissa-expt-normalize ( mantissa expt -- mantissa' expt' )


Vocabulary
math.parser.private

Inputs
mantissaan object
exptan object


Outputs
mantissa'an object
expt'an object


Definition


: mantissa-expt-normalize
( mantissa expt -- mantissa' expt' )
[
dup log2 52 swap -
[ shift 52 2^ 1 - bitand ] [ 1022 + neg ] bi
] [ 1023 - ] if-zero ;