State Machine for Rationals
December 29, 2025