The Painful Arithmetic of Greek Debt Default