Rename BigInteger to BigInteger.hh