Интересен въпрос.
Всъщност не бих избрал float в средата на mysql. Твърде много проблеми в миналото с прецизността с този тип данни.
За мен изборът би бил между int и decimal(18,4) .
Виждал съм примери от реалния свят на цели числа, използвани за представяне на стойности с плаваща запетая. Вътрешните елементи на таблиците с данни на JD Edwards правят това. Количествата обикновено се делят на 10 000. Макар че съм сигурен, че е по-бързо и по-малко в таблицата, това просто означава, че винаги трябва да прехвърляме ints към десетична стойност, ако искаме да правим нещо с тях, особено деление.
От гледна точка на програмирането винаги бих предпочел да работя с decimal за цена (или money в RDBMS, които го поддържат).
