More code style, including refactoring the BigInteger class