Indeed, many programming languages, including Java and the Smalltalk platform on which SDML (Strictly Declarative Modelling Language; Moss et al. 1998) is built, do not even supply the library functions stipulated by the IEEE standard for floating point arithmetic that allow the programmer to detect and deal with errors in floating point arithmetic as and when they occur.