Theorem Num.cast_to_int

Modification history