Subject: bug#32252: [PATCH] %o and %x now format signed numbers

From: Paul Eggert <[email-masked]>
Date: Wed, 25 Jul 2018 13:16:27 -0700

Andreas Schwab wrote:
>> It's more about (read (printf "#x%x" N)) returning N, which is basic
>> functionality that should work
> Where is that documented?

You're right, it's not. It's not even documented that (read (printf "%s" N)) 
should work for any number N. I'll add something along these lines. I'll also 
warn that (read (printf "#x%x" N)) might not work.