Point values extracted from an XML file are now correctly converted

to integers