Added header file for possible BigInteger alternative.