Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks - View it on GitHub