Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers