Change Number Field to Decimal Field

Change Number Field to Decimal Field

Hi,

It would be nice to be able to change the field type without having to delete it and create a new one, messing up the database and history.

Thanks

Dan