notes on trevor's bigInt