Thu, 25 Aug 2011 17:55:48 +0100Ignore underscores when extracting value of integer.
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Aug 2011 17:55:48 +0100] rev 366
Ignore underscores when extracting value of integer.