Work around the unpredictible mangling of int64_t and uint64_t