Minor style fix to BigInteger class