Funky! Luckily that bug doesn't interfere with this trick, since it's only relying on pretty-printing integers.

Dave