The logic of computer arithmetic | lit.salon