Better parser for integer attributes in XML