mysql wqnts 'double', not 'double precision'