bug#12216: Problems with Guile's number printer

[Mark H Weaver]

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

Sorry, I sent this to the wrong bug.  Oops :)

    Mark