title: MariaDB default float can't contain decimal places
body: <p>I am learning about MariaDBs column types and noticed this on my MariaDB db (latest dockerized 10.3.13), connected via HeidiSQL 10.</p>
  
  <p>I can't set the default value for my FLOAT column to a value that contains decimal places:</p>
  
  <p><a href="https://i.stack.imgur.com/SqDOf.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/SqDOf.png" alt="enter image description here"></a></p>
  
  <p><strong>After hitting save the default value is just 42</strong>. This also happens when performing the ALTER / CREATE TABLE query manually. (In the screenshot the column type is <code>FLOAT</code> but I also tested with <code>FLOAT(10,2)</code>.)</p>
  
  <p><strong>Edit</strong>: When creating the table with this SQL statement, new rows will have the default value 42 instead of 42.11:</p>
  
  <pre class="lang-sql prettyprint-override"><code>CREATE TABLE test2 (
      `float` FLOAT(10,2) NOT NULL DEFAULT '42.11'
  )
  </code></pre>
  
  <p>Why?</p>