diff -r c5f70e767511 -r f802ddbabcfc src/operator_arithmetic.rs
--- a/src/operator_arithmetic.rs	Tue Dec 31 08:48:50 2024 -0500
+++ b/src/operator_arithmetic.rs	Mon Dec 23 23:27:45 2024 -0500
@@ -5,7 +5,7 @@
 use serde::Serialize;
 use crate::types::*;
 use crate::instance::{Space, Instance};
-use crate::mapping::{Mapping, DifferentiableImpl, DifferentiableMapping};
+use crate::mapping::{Mapping, ArithmeticTrue, DifferentiableImpl, DifferentiableMapping};
 
 /// A trait for encoding constant [`Float`] values
 pub trait Constant : Copy + Sync + Send + 'static + std::fmt::Debug + Into<Self::Type> {
@@ -40,6 +40,7 @@
     C : Constant<Type=F>
 {
     type Codomain = V;
+    type ArithmeticOptIn = ArithmeticTrue;
 
     #[inline]
     fn apply<I : Instance<D>>(&self, x : I) -> Self::Codomain {