In - http://arduino.cc/forum/index.php/topic,143584.0.html - I posted code to be able to print int64_t and uint64_t for the UNO.
Not tested on other platforms but the code is very straightforward,
Drawback is it adds 8KB to a sketch so placed some #ifdefs in the proposed code.
Rob