"Mark S. Miller" wrote: > Those things that C > and Java folks call integers aren't. Group (i.e. modular) arithmetic is just as formally well-founded as integer arithmetic. You'll notice that the C folks *didn't* call it "integer"... Jonathan