Integer printing in GRNumberPrinter allocates a lot of Strings rather than rendering directly to the stream.