I think it is because using `u64` is not necessarily correct on all target platforms. (The thing to do would be check the git history.)