From: "glen herrmannsfeldt" <g...@ugcs.caltech.edu> Sent: Thursday, October 24, 2013 4:22 PM
From C28-6514-5 on bitsavers, on page 16:
What manual is that; for what system, and what date?
"Division by zero is permitted and yields a zero result." After that, (and presumably also earlier) it has to stay that way as code (macros) might depend on that. There is no reason given.