2) Add an alternate math library, say stdmath, (or ieeemath or...)

that can follow a different set of rules than the math module. In
addition to the functions provided by the math module, it could
define additional functions such as stdmath.div such that
stdmath.div(2.0, 0) return Inf instead of raising an exception.