fix for int64_t