pub trait Approx: Clone + Zero { // Required method fn is_negligible(&self) -> bool; // Provided method fn round(&self) -> Self { ... } }