Double-Entry Ledgers: The Missing Primitive in Modern Software