MysqlTypeMapper: add support for FLOAT types (#572)

Author: hemberger

src/TypeMapping/MysqlTypeMapper.php

@@ -127,7 +127,7 @@ public function mapToPHPStanType(string $mysqlType, array $mysqlFlags, int $leng
             $phpstanType = IntegerRangeType::fromInterval(0, 2155);
         }
         // floats are detected as numerics in mysqli
-        if (\in_array(strtoupper($mysqlType), ['DOUBLE', 'REAL'], true)) {
+        if (\in_array(strtoupper($mysqlType), ['DOUBLE', 'REAL', 'FLOAT'], true)) {
             $phpstanType = new FloatType();
         }