impl Mul trait