i64 format for printf