diff --git a/CHANGELOG.md b/CHANGELOG.md
index e665461c75..2b200fd3b6 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -20,6 +20,7 @@ and this project adheres to
 - cosmwasm-std: Implement `saturating_add`/`sub`/`mul` for
   `Decimal`/`Decimal256`.
 - cosmwasm-std: Implement `MIN` const value for all `Uint` and `Decimal` types
+- cosmwasm-std: Implement `checked_div_euclid` for `Uint256`/`Uint512`
 - cosmwasm-std: Add `QuerierWrapper::query_wasm_contract_info` - this is just a
   convenience helper for querying `WasmQuery::ContractInfo`.
 
diff --git a/packages/std/src/math/decimal.rs b/packages/std/src/math/decimal.rs
index a97bf29ead..1bb985d626 100644
--- a/packages/std/src/math/decimal.rs
+++ b/packages/std/src/math/decimal.rs
@@ -1880,11 +1880,11 @@ mod tests {
         );
         assert!(matches!(
             Decimal::MAX.checked_div(Decimal::zero()),
-            Err(CheckedFromRatioError::DivideByZero { .. })
+            Err(CheckedFromRatioError::DivideByZero {})
         ));
         assert!(matches!(
             Decimal::MAX.checked_div(Decimal::percent(1)),
-            Err(CheckedFromRatioError::Overflow { .. })
+            Err(CheckedFromRatioError::Overflow {})
         ));
 
         // checked rem
diff --git a/packages/std/src/math/uint256.rs b/packages/std/src/math/uint256.rs
index e1c14ac94a..3d7883b608 100644
--- a/packages/std/src/math/uint256.rs
+++ b/packages/std/src/math/uint256.rs
@@ -251,6 +251,10 @@ impl Uint256 {
             .ok_or_else(|| DivideByZeroError::new(self))
     }
 
+    pub fn checked_div_euclid(self, other: Self) -> Result<Self, DivideByZeroError> {
+        self.checked_div(other)
+    }
+
     pub fn checked_rem(self, other: Self) -> Result<Self, DivideByZeroError> {
         self.0
             .checked_rem(other.0)
@@ -1456,6 +1460,18 @@ mod tests {
             Uint256::from(6u32).checked_div(Uint256::from(2u32)),
             Ok(Uint256::from(3u32)),
         );
+        assert!(matches!(
+            Uint256::MAX.checked_div_euclid(Uint256::from(0u32)),
+            Err(DivideByZeroError { .. })
+        ));
+        assert_eq!(
+            Uint256::from(6u32).checked_div_euclid(Uint256::from(2u32)),
+            Ok(Uint256::from(3u32)),
+        );
+        assert_eq!(
+            Uint256::from(7u32).checked_div_euclid(Uint256::from(2u32)),
+            Ok(Uint256::from(3u32)),
+        );
         assert!(matches!(
             Uint256::MAX.checked_rem(Uint256::from(0u32)),
             Err(DivideByZeroError { .. })
diff --git a/packages/std/src/math/uint512.rs b/packages/std/src/math/uint512.rs
index 2a66189b44..e53bad95d3 100644
--- a/packages/std/src/math/uint512.rs
+++ b/packages/std/src/math/uint512.rs
@@ -234,6 +234,10 @@ impl Uint512 {
             .ok_or_else(|| DivideByZeroError::new(self))
     }
 
+    pub fn checked_div_euclid(self, other: Self) -> Result<Self, DivideByZeroError> {
+        self.checked_div(other)
+    }
+
     pub fn checked_rem(self, other: Self) -> Result<Self, DivideByZeroError> {
         self.0
             .checked_rem(other.0)
@@ -1091,6 +1095,18 @@ mod tests {
             Uint512::from(6u32).checked_div(Uint512::from(2u32)),
             Ok(Uint512::from(3u32)),
         );
+        assert!(matches!(
+            Uint512::MAX.checked_div_euclid(Uint512::from(0u32)),
+            Err(DivideByZeroError { .. })
+        ));
+        assert_eq!(
+            Uint512::from(6u32).checked_div_euclid(Uint512::from(2u32)),
+            Ok(Uint512::from(3u32)),
+        );
+        assert_eq!(
+            Uint512::from(7u32).checked_div_euclid(Uint512::from(2u32)),
+            Ok(Uint512::from(3u32)),
+        );
         assert!(matches!(
             Uint512::MAX.checked_rem(Uint512::from(0u32)),
             Err(DivideByZeroError { .. })