diff --git a/agb/src/number.rs b/agb/src/number.rs
index 34180c3..632d5ee 100644
--- a/agb/src/number.rs
+++ b/agb/src/number.rs
@@ -142,6 +142,19 @@ impl<const N: usize> Num<N> {
         }
     }
 
+    pub fn rem_euclid(&self, rhs: Self) -> Self {
+        let r = *self % rhs;
+        if r < 0.into() {
+            if rhs < 0.into() {
+                r - rhs
+            } else {
+                r + rhs
+            }
+        } else {
+            r
+        }
+    }
+
     pub fn new(integral: i32) -> Self {
         Self(integral << N)
     }
@@ -250,6 +263,31 @@ fn test_rem_returns_sensible_values_for_non_integers(_gba: &mut super::Gba) {
     }
 }
 
+#[test_case]
+fn test_rem_euclid_is_always_positive_and_sensible(_gba: &mut super::Gba) {
+    let one: Num<8> = 1.into();
+    let third = one / 3;
+
+    for i in -50..50 {
+        for j in -50..50 {
+            if j == 0 {
+                continue;
+            }
+
+            // full calculation in the normal way
+            let x: Num<8> = third + i;
+            let y: Num<8> = j.into();
+
+            let truncated_division: Num<8> = (x / y).int().into();
+
+            let remainder = x - truncated_division * y;
+
+            let rem_euclid = x.rem_euclid(y);
+            assert!(rem_euclid > 0.into());
+        }
+    }
+}
+
 impl<const N: usize> Display for Num<N> {
     fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
         let integral = self.0 >> N;