pympf (pypi): An arbitrary precision IEEE-754 implementation in Python
Keywords: ieee-754|smt-lib