Use PRINTF_64 for portability across platforms.