Does it successfully reject invalid inputs, or produce an undefined[1] result? :)

[1] I say "undefined", but I think I know what it's going to be :)

(Yes, the phrase "factorising large primes" really bugs me too -- even more so because I actually recognise in myself a tendency to say it, so although wrong, it must have _some_ resonance with what it ought to mean.)