diff --git a/src/lib.rs b/src/lib.rs
index 601a66d..c90a561 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -40,10 +40,8 @@ impl Display for TryNewError {
 }
 
 #[cfg_attr(feature = "const_convert_and_const_trait_impl", const_trait)]
-pub trait Number: Sized {
-    type UnderlyingType: Copy
-        + Clone
-        + Number
+pub trait Number: Sized + Copy + Clone {
+    type UnderlyingType: Number
         + Debug
         + From<u8>
         + TryFrom<u16>
@@ -108,7 +106,7 @@ macro_rules! impl_number_native {
                 fn value(self) -> Self::UnderlyingType { self }
 
                 #[inline]
-                fn new_<T: Number>(value: T) -> Self {
+                fn new_<T: ~const Number Number>(value: T) -> Self {
                     match Self::BITS {
                         8 => value.as_u8() as Self,
                         16 => value.as_u16() as Self,
@@ -120,7 +118,7 @@ macro_rules! impl_number_native {
                 }
 
                 #[inline]
-                fn masked_new<T: Number>(value: T) -> Self {
+                fn masked_new<T: ~const Number>(value: T) -> Self {
                     // Primitive types don't need masking
                     Self::new_(value)
                 }