3-SAT solution verifiers, and modest extensions to other kinds of problem spaces.
For various reasons, you probably want to use arithmetic and string operations for encoding certain problens. You could do it in bit operations, but efficiency.
I can't take credit for it -- it's one of those things that was floating around as a usage early on, but the features were killed.