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.