title: Is it possible to cast a DECIMAL to DOUBLE in MySQL?
body: <p>I know all the numerical implications, that is, the possible rounding issues inherent to floating point formats, but in my case I have <code>DECIMAL</code> columns in <code>MySQL</code> that I want to convert to <code>DOUBLE</code> straight in the <code>MySQL</code> query rather than down stream.</p>
  
  <p>Could anyone help?</p>