Geert Bosch
For the information on floating-point semantics that was previously here, see FloatingPointMath. Currently I am working on a safe model for signed integer arithmetic that includes overflow checking, see SafeSignedIntegerArithmetic.
- -Geert