pretty print 64 bit values as .quad in PPC 64