Use gmpy for pa5.