pub trait Modulo: Sized + Rem<Output = Self> { // Required method fn modulo(&self, v: &Self) -> Self; }