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