ieee-754
A Python binding of Berkeley SoftFloat
A Python Package for Improved Cellular Genetic Algorithms
Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks