mysql中float类型使用总结