use "int64" rather than int