[math-fun] RSA640 factored