MySQL: Numeric data type now supported under decimal column. #3171