ieee-754
Zubax Kulibin Float (ZKF) -- an efficient floating-point engine for controls & embedded following IEEE 754 sans NaN and subnormals
A Python binding of Berkeley SoftFloat
Cellular Genetic Algorithms in Python.
Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks