PASS: exact arithmetic identities/budgets and floating diagnostics; not a compiled hardware circuit
