bug#12216: Problems with Guile's number printer

[Mark H Weaver]

I've pushed 1ea37620c2c1794f7685b312d2530676a078ada7 to stable-2.0,
which fixes our number printer.  Closing this bug.

   Thanks,
     Mark