64-Bit Bank Balances ‘Ought to be Enough for Anybody’?