diff1 is a normal JS number now rather than a bignum