Vocabulary
math.integers.private

Inputs
epsilon?an object
numan object
denan object
scalean object


Outputs
epsilon?'an object
num'an object
denan object
scalean object


Definition


: (shift-with-epsilon)
( epsilon? num den scale -- epsilon?' num' den scale )
[
nip 1021 +
[ neg 2^ 1 - bitand zero? not or ] [ shift ] 2bi
] 2keep ; inline