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