But that's unironically how factoring algorithms work?