xml_demo.pl: change format for elapsed time to numeric