Hi,

I'm growing weary of seeing mappings and memory sizes in decimal in the 
config files generated by --save-temps. Does anyone have a problem with 
this patch which makes them appear in hex? The difference is something like

connect-bus basic-0/main-map [0=0-32767] basic-0/extra-mem-0 read-write-port
set basic-0/extra-mem-0 size 32768

becomes

connect-bus basic-0/main-map [0x0=0x0-0xffff] basic-0/extra-mem-0 
read-write-port
set basic-0/extra-mem-0 size 0x10000

Dave