[basex-talk] BigInteger