Is this bug in migration , I set float like this ``` $table->float('mycol'); ``` after I issued command migrate, when I looked at in the table the datatype is double not float. Thank you in advance