int64_t standard