Case studies

Money correctness

Cases where the numbers had to be right to the cent: balances, reserves and ledgers that must never drift.