math/: Implement Grantham's Frobenius (primality) test.