History math/gen-fromfp-tests.py