Theorem Quaternion.re_intCast

Modification history