Revisited tests for Integer and functions in Math.Primality
Add generate_probable_safe_prime