Dolt import should cast float strings that can be rounded to ints

[oscarbatori]

doltpy.core.dolt.DoltException: (['dolt', 'table', 'import', 'zip_county', '--pk=year,month,zip,county', '-u', '/var/folders/86/pvj3p5x12j1bzm740hrs45r00000gp/T/tmpjlf1r5pt.csv'], b'Rows Processed: 0, Additions: 0, Modifications: 0, Had No Effect: 0', b'\nA bad row was encountered while moving data.\nBad Row:zip:"501.0" | county:"36103.0" | res_ratio:"0.0" | bus_ratio:"1.0" | oth_ratio:"0.0" | tot_ratio:"1.0" | month:"3" | year:"2020"\nunable to cast "501.0" of type string to int64\nThese can be ignored using the \'--continue\'\n', 1)

[zachmu]

The example above uses doltpy, so the error message will be different from the command line.

The set up is:

• Create a table with integer columns
• Create a CSV file with round float values, e.g. 1.0, -100.0
• Should import successful via dolt table import -u newTable myfile.csv

Needs a bats test for the same functionality.