You are right price is currently stored as integer. We will store it as float in our next release.
This was due to different decimal point identifiers for different countries. in some it is 1.60, in others 1,60. That is why we converted prices to integer initially. Now we can define decimal point identifier in “Admin panel” -> “Settings” -> “Currency” page “Decimal point” value for each locale so we can use that identifier to know decimal point and store load values for price field.