Allow decimal 'other amount' field in priceset

When using pricesets in civicrm it is currently possible to create a 'free amount' field. This is even documented in the helpt text.

'You can add a text box field with a value of 1, and then use the amount to set a freely chosen price. '

it is however not possible to allow a decimal amount in this field. A current option is to use a 100*amount value.

'If you feel that whole pound/dollar/euro amounts are too restrictive, then you can set the value to 0.01 and make it clear on the field label that they should enter the number of cents/pence they want to donate.'

If i'm not mistaking using a decimal value is possible on contribution pages, using the other amount field. This however isn't possible inside a priceset. (Which is required for us to allow this field to be booked on a different financial type and account).

See http://forum.civicrm.org/index.php?topic=34660 for a previous discussion. A relevant commit was added in https://issues.civicrm.org/jira/browse/CRM-13491 this makes the preview field for the priceset correct, but saving only allows integer values for the amount.

Two approaches are possible i think.
-allow decimal amount, which uses the current flow
-Add free amount price field.