Theorem Rat.num_intCast

Modification history