duda: extraer números de un archivo

[David]

Puedes usar el módulo xml para parsear el archivo:

Código python:

from xml.dom.minidom import parse
xmlfile = parse("archivo.xml")
elemento = xmlfile.getElementsByTagName("coordinates")[0]
print elemento.childNodes[0].nodeValue