Fix: BigUint didn't pass the invariant