Use SQL double precision by default