Wed, 09 May 2012 23:00:10 +0100 mjsousa Fix parsing os TIME literals & rename the extract_integer() function.