int64_t
There is no portable I18N-compatoible way to printf-format an `int64_t` value, so convert it back into an `int`.