Tricking MariaDB into correctly converting float to decimal
I recently had the problem that I needed to convert a float column to decimal in a MariaDB. Naive as I was, I just executed a modify statement over the table (in a test instance, of course) and turned said column into a decimal(65,30) (which is the default