Undo prior changes by @Ivanca on 2014/01/03; we do want floating point numbers as decimals of seconds are allowed (e.g., for our example in date_parse()); also fix missing unmatched expression