ok - but you don't change it now, right? so it should be uint64 everywhere to be clear.