From 196b3ef93ad616db1d8b8a3b2b2b424013f63f44 Mon Sep 17 00:00:00 2001
From: Tony Arcieri <bascule@gmail.com>
Date: Tue, 14 Oct 2025 07:52:59 -0600
Subject: [PATCH 1/2] Add `ConstMontyForm::MODULUS` constant

Adds an inherent associated constant for accessing the modulus
---
 src/modular/const_monty_form.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/modular/const_monty_form.rs b/src/modular/const_monty_form.rs
index 2e2e0521c..8329d74ca 100644
--- a/src/modular/const_monty_form.rs
+++ b/src/modular/const_monty_form.rs
@@ -15,7 +15,7 @@ use super::{
     div_by_2::div_by_2,
     reduction::{montgomery_reduction, montgomery_retrieve},
 };
-use crate::{ConstChoice, ConstOne, ConstZero, One, Uint, Zero};
+use crate::{ConstChoice, ConstOne, ConstZero, Odd, One, Uint, Zero};
 use core::{fmt::Debug, marker::PhantomData};
 use subtle::{Choice, ConditionallySelectable, ConstantTimeEq};
 
@@ -77,6 +77,9 @@ impl<MOD: ConstMontyParams<LIMBS>, const LIMBS: usize> ConstMontyForm<MOD, LIMBS
         phantom: PhantomData,
     };
 
+    /// Modulus as an unsigned integer.
+    pub const MODULUS: Odd<Uint<LIMBS>> = *MOD::PARAMS.modulus();
+
     /// Instantiates a new [`ConstMontyForm`] that represents this `integer` mod `MOD`.
     pub const fn new(integer: &Uint<LIMBS>) -> Self {
         let product = integer.widening_mul(&MOD::PARAMS.r2);

From 7e85d4b7e0ab11c0df0b943484a3ec65bbb0328e Mon Sep 17 00:00:00 2001
From: Tony Arcieri <bascule@gmail.com>
Date: Tue, 14 Oct 2025 07:59:34 -0600
Subject: [PATCH 2/2] Initial codecov config

---
 codecov.yml | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 codecov.yml

diff --git a/codecov.yml b/codecov.yml
new file mode 100644
index 000000000..236a6f1da
--- /dev/null
+++ b/codecov.yml
@@ -0,0 +1,5 @@
+coverage:
+  status:
+    project:
+      default:
+        threshold: 1%