-- Bugfix: When printing a literal double value we need to make sure    that the number is not treated as a float before the double cast    is evaluated.
-- Bugfix: When printing a literal double value we need to make sure
   that the number is not treated as a float before the double cast
   is evaluated.

zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb