This is code that makes it easier to trap floating point errors in user code.
ToDo: Finish documentation!