Python module for handling IEEE 754 floating point special values