title: Changing Column in MySQL from int to double?
body: <p>Basically, I currently have a column in a MySQL table, which is an int.</p>
  
  <p>I'd like to change that to double. I've searched the web, but all it came up with was conversion upon getting the values from the column (like converting some date to Date), but that's not what I mean.</p>
  
  <p>I'm guessing it's something with Alter Table, and I looked that up on the MySQL dev page, but could not find what I was looking for.</p>