<html><body><span style="font-family:Verdana; color:#000000; font-size:10pt;"><div>Is the utility of having (n `mod` 0) return a value greater than the confusion it will engender? In the 99.99% case it's an error. You wouldn't want (n `div` 0) to return 0, I expect.</div><div><br></div><div>If we want these number-theoretic mod and div operations let's please put them in a separate module.</div></span></body></html>