BigInteger verifies that the program is correct and fast as hell.