Comment 5 for bug 525508

thanks for the contribution!

I have tested your patch and it appears to work correctly, as expected. However, after looking at the data stored in the preferences.xml file, it appears that this variable is always stored as an integer, and so it would be reasonable to retrieve it that way as well. As far as the floating point behaviour of the calculated result is concerned, that can sometimes be imposed by using decimal points explicitly in an expression.
    A proposed patch of this type is attached, and appears to get the desired result. Would you have any objections if this alternative patch were used?