Intressant fråga.
Jag skulle faktiskt inte välja float i mysql-miljön. För många problem i det förflutna med precision med den datatypen.
För mig skulle valet stå mellan int och decimal(18,4) .
Jag har sett exempel från verkliga heltal som används för att representera flyttalsvärden. Det interna i JD Edwards datatabeller gör alla detta. Kvantiteter delas vanligtvis med 10 000. Även om jag är säker på att det är snabbare och mindre i tabellen betyder det bara att vi alltid måste CASTA ints till ett decimalvärde om vi vill göra något med dem, särskilt division.
Ur ett programmeringsperspektiv skulle jag alltid föredra att arbeta med decimal för pris ( eller money i RDBMS som stöder det ).