The top documents tagged [logic of computer arithmetic]