BigInteger.js: formatting