To be honest, I wouldn’t be surprised if it failed once every few 100s of thousands. Make sure to test all real integers