Use uint64_t instead of ALuint64SOFT