Switch float storage to decimal encoding instead of IEEE and add support for the Decimal class