Stav dette: Computer arithmetic and validity