Text this: sweap: Reactive Synthesis for Infinite-State Integer Problems