CC: (BUG LISPM) at MIT-MC
RWG@MIT-AI 07/29/79 20:13:27
To: (BUG LISPM) at MIT-AI
(small-float (// -.11111 .11111)) gives 1.0s0. looks like quotient
isn't normalized, maybe.
You're right, this is a normalization bug. I have fixed it in the
microcode source.