While things are already being changed, can this become `u64` to save someone bother in future (and confusion, if things go weird rather than failing outright on 32 bit platforms)?