it's distinct enough for a crate

deferred_division/Cargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "deferred_division"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]

deferred_division/src/lib.rs

@@ -0,0 +1,4 @@
+pub mod ratio;
+
+#[cfg(test)]
+mod tests;

deferred_division/src/ratio.rs

@@ -0,0 +1,33 @@
+#[derive(Clone,Copy,Debug,Hash)]
+pub struct Ratio<Num,Den>{
+	num:Num,
+	den:Den,
+}
+pub trait DeferredDiv<Rhs=Self>{
+	type Output;
+	fn deferred_div(self,rhs:Rhs)->Self::Output;
+}
+impl<Num,Den,T> WideMul<T> for Ratio<Num,Den>
+	where
+		Num:WideMul<T>,
+{
+	type Output=Ratio<<Num as WideMul<T>>::Output,Den>;
+	fn wide_mul(self,rhs:T)->Ratio<<Num as WideMul<T>>::Output,Den>{
+		Ratio{
+			num:self.num.wide_mul(rhs),
+			den:self.den,
+		}
+	}
+}
+impl<Num,Den,T> WideDiv<T> for Ratio<Num,Den>
+	where
+		Den:WideMul<T>,
+{
+	type Output=Ratio<Num,<Den as WideMul<T>>::Output>;
+	fn wide_div(self,rhs:T)->Ratio<Num,<Den as WideMul<T>>::Output>{
+		Ratio{
+			num:self.num,
+			den:self.den.wide_mul(rhs),
+		}
+	}
+}

fixed_wide_traits/src/wide.rs

@@ -14,32 +14,3 @@ pub trait WideCross<Rhs=Self>{
 	type Output;
 	fn wide_cross(self,rhs:Rhs)->Self::Output;
 }
-
-struct Ratio<Num,Den>{
-	num:Num,
-	den:Den,
-}
-impl<Num,Den,T> WideMul<T> for Ratio<Num,Den>
-	where
-		Num:WideMul<T>,
-{
-	type Output=Ratio<<Num as WideMul<T>>::Output,Den>;
-	fn wide_mul(self,rhs:T)->Ratio<<Num as WideMul<T>>::Output,Den>{
-		Ratio{
-			num:self.num.wide_mul(rhs),
-			den:self.den,
-		}
-	}
-}
-impl<Num,Den,T> WideDiv<T> for Ratio<Num,Den>
-	where
-		Den:WideMul<T>,
-{
-	type Output=Ratio<Num,<Den as WideMul<T>>::Output>;
-	fn wide_div(self,rhs:T)->Ratio<Num,<Den as WideMul<T>>::Output>{
-		Ratio{
-			num:self.num,
-			den:self.den.wide_mul(rhs),
-		}
-	}
-}