Make the #R macro strip leading zeroes from decimal addresses < 10000