diff --git a/library/core/src/num/mod.rs b/library/core/src/num/mod.rs
index 048c9c5ddaaee..300f6111902a1 100644
--- a/library/core/src/num/mod.rs
+++ b/library/core/src/num/mod.rs
@@ -4,6 +4,7 @@
 
 #![stable(feature = "rust1", since = "1.0.0")]
 
+use crate::cmp::Ordering;
 use crate::convert::Infallible;
 use crate::fmt;
 use crate::intrinsics;
@@ -170,6 +171,34 @@ assert_eq!(size_of::<Option<core::num::", stringify!($Ty), ">>(), size_of::<", s
                 }
             }
 
+            #[stable(feature = "nonzero_cmp_to_int", since = "1.47.0")]
+            impl PartialEq<$Int> for $Ty {
+                fn eq(&self, rhs: &$Int) -> bool {
+                    self.0 == *rhs
+                }
+            }
+
+            #[stable(feature = "nonzero_cmp_to_int", since = "1.47.0")]
+            impl PartialOrd<$Int> for $Ty {
+                fn partial_cmp(&self, rhs: &$Int) -> Option<Ordering> {
+                    Some(self.0.cmp(rhs))
+                }
+            }
+
+            #[stable(feature = "nonzero_cmp_to_int", since = "1.47.0")]
+            impl PartialEq<$Ty> for $Int {
+                fn eq(&self, rhs: &$Ty) -> bool {
+                    *self == rhs.0
+                }
+            }
+
+            #[stable(feature = "nonzero_cmp_to_int", since = "1.47.0")]
+            impl PartialOrd<$Ty> for $Int {
+                fn partial_cmp(&self, rhs: &$Ty) -> Option<Ordering> {
+                    Some(self.cmp(&rhs.0))
+                }
+            }
+
             impl_nonzero_fmt! {
                 #[$stability] (Debug, Display, Binary, Octal, LowerHex, UpperHex) for $Ty
             }
diff --git a/library/core/tests/nonzero.rs b/library/core/tests/nonzero.rs
index 48aec6d718d3d..56df92660b910 100644
--- a/library/core/tests/nonzero.rs
+++ b/library/core/tests/nonzero.rs
@@ -195,3 +195,49 @@ fn test_nonzero_from_int_on_err() {
     assert!(NonZeroI8::try_from(0).is_err());
     assert!(NonZeroI32::try_from(0).is_err());
 }
+
+#[test]
+fn test_compare_regular_int() {
+    let nonzero = NonZeroI32::new(125).unwrap();
+
+    assert_eq!(nonzero, 125);
+    assert_ne!(nonzero, 0);
+    assert_ne!(nonzero, -125);
+
+    assert!(nonzero == 125);
+    assert!(nonzero != 0);
+    assert!(nonzero != -125);
+
+    assert!(nonzero < 200);
+    assert!(nonzero <= 125);
+    assert!(nonzero <= 200);
+
+    assert!(nonzero > 0);
+    assert!(nonzero > -200);
+    assert!(nonzero >= 125);
+    assert!(nonzero >= 0);
+    assert!(nonzero >= -100);
+}
+
+#[test]
+fn test_compare_regular_int_reversed() {
+    let nonzero = NonZeroI32::new(125).unwrap();
+
+    assert_eq!(125, nonzero);
+    assert_ne!(0, nonzero);
+    assert_ne!(-125, nonzero);
+
+    assert!(125 == nonzero);
+    assert!(0 != nonzero);
+    assert!(-125 != nonzero);
+
+    assert!(200 > nonzero);
+    assert!(125 >= nonzero);
+    assert!(200 >= nonzero);
+
+    assert!(0 < nonzero);
+    assert!(-200 < nonzero);
+    assert!(125 <= nonzero);
+    assert!(0 <= nonzero);
+    assert!(-100 <= nonzero);
+}