- Add store methods to get/set/delete/etc account fractional balances & remainder amount - Add invariants to ensure stored state is correct