Add missing #includes for *INT64_MAX and *INT64_C