how to kernel printf a int64_t?

[Rick Macklem]

Hi,

I feel kinda dumb asking this, but...
       int64_t i;

       printf("%qd\n", (u_quad_t)i);

works but looks dorky, to put it technically;-).
Is there a better way to printf() a int64_t in the kernel?

Thanks for any answers, rick