Allow printf/fprintf work with 64bit integers (printint64)