Thanks for your bug report. This change was made eighteen years ago at the request of other scripters, so I am afraid I cannot remember their reasons for requesting this. However, I can change it - as long as no one has an issue with this, or foresees any backward compatibility problems, I will change $base() in the next beta to only remove 0x from base16.
