Document the Frobenius-Underwood pseudoprime function