Add the u64 type