Use u64 instead of uint where applicable