bug#15770: zgrep -n does not work for n>9

[Paul Eggert]

I think that bug was fixed last year; I can't reproduce it in gzip 1.6.