Is this a buglet? (SmallInteger>>printString related)