added castfn m_times_n_Gt0