[mysql] MySQL: What's the difference between float and double?