Chars [ and ] use now one less pixel in weight
Numbers like "5.1" were badly displayed in DBLSIZE (the point was near
the 1). Small code saving (10 bytes)