Improved pointer stringification.