X-Comment1: #############################################################
X-Comment2: # uk.ac.glasgow.cs has changed to uk.ac.glasgow.dcs #
X-Comment3: # If this address does not work please ask your mail #
X-Comment4: # administrator to update your NRS & mailer tables. #
X-Comment5: #############################################################
Yes it does (though you may not like the answer!). See Section 6.8.1, p56.
Simon
| Which leads me to one final comment. Does the Report say anywhere that
| an overflow gives rise to an undefined result?
