Theorem Irrational.add_intCast

Modification history