Bring in the s64/u64 types