Symbol: numtostr