prime
prime copied to clipboard
`.int_from_prime_division` could return Rational.
I found pattern to return Rational.
There would be more patterns if the arguments were not limited to Integer, but I assume that Prime only considers Integer.