Decimal Values in TextFormats

I have a rich text editor that extends the TextField class. When I set values in the TextField, either by utilizing a TextFormat object or changing the htmlText property directly, to decimal values (ie, size or leading) the htmlText rounds them to integers. Later, when I go to save the data in the TextField in a database back on the server, these values are coming out as integers, but I need the original decimal values. I’ve tried using getTextFormat(), but those values seem to be integers as well. Can anyone shed some light on this subject?