On 2018-08-30 11:05, Jonathan Fine wrote:

I'm used to using a number theory computer algebra system https://pari.math.u-bordeaux.fr/.

I don't think that a comparison with PARI is very relevant because PARI doesn't really have a type system the way that Python does. For example the fraction 3/1 doesn't really exist in PARI, only the integer 3 does.