Update example_numtostring.html