Using formattingprintstream all the way