Using bignums to represent state everywhere now