diff --git a/programs/uxd/src/instructions/credix_lp/collect_profits_of_credix_lp_depository.rs b/programs/uxd/src/instructions/credix_lp/collect_profits_of_credix_lp_depository.rs
index 85a722b2a..0d182473f 100644
--- a/programs/uxd/src/instructions/credix_lp/collect_profits_of_credix_lp_depository.rs
+++ b/programs/uxd/src/instructions/credix_lp/collect_profits_of_credix_lp_depository.rs
@@ -10,6 +10,7 @@ use crate::error::UxdError;
 use crate::events::CollectProfitsOfCredixLpDepositoryEvent;
 use crate::state::controller::Controller;
 use crate::state::credix_lp_depository::CredixLpDepository;
+use crate::utils::checked_as_u64;
 use crate::utils::compute_decrease;
 use crate::utils::compute_increase;
 use crate::utils::compute_shares_amount_for_value_floor;
@@ -178,37 +179,30 @@ pub(crate) fn handler(ctx: Context<CollectProfitsOfCredixLpDepository>) -> Resul
     )?;
 
     // How much collateral can we withdraw as profits
-    let profits_value: u128 = {
+    let profits_value = {
         // Compute the set of liabilities owed to the users
-        let liabilities_value: u128 = ctx
-            .accounts
-            .depository
-            .load()?
-            .redeemable_amount_under_management;
+        let liabilities_value = checked_as_u64(
+            ctx.accounts
+                .depository
+                .load()?
+                .redeemable_amount_under_management,
+        )?;
         msg!(
             "[collect_profits_of_credix_lp_depository:liabilities_value:{}]",
             liabilities_value
         );
         // Compute the set of assets owned in the LP
-        let assets_value: u128 = owned_shares_value_before.into();
+        let assets_value = owned_shares_value_before;
         msg!(
             "[collect_profits_of_credix_lp_depository:assets_value:{}]",
             assets_value
         );
         // Compute the amount of profits that we can safely withdraw
-        assets_value
-            .checked_sub(liabilities_value)
-            .ok_or(UxdError::MathOverflow)?
+        assets_value.saturating_sub(liabilities_value)
     };
-    msg!(
-        "[collect_profits_of_credix_lp_depository:profits_value:{}]",
-        profits_value
-    );
 
     // Assumes and enforce a collateral/redeemable 1:1 relationship on purpose
-    let collateral_amount_before_precision_loss: u64 = u64::try_from(profits_value)
-        .ok()
-        .ok_or(UxdError::MathOverflow)?;
+    let collateral_amount_before_precision_loss: u64 = profits_value;
     msg!(
         "[collect_profits_of_credix_lp_depository:collateral_amount_before_precision_loss:{}]",
         collateral_amount_before_precision_loss
diff --git a/programs/uxd/src/instructions/credix_lp/rebalance_create_withdraw_request_from_credix_lp_depository.rs b/programs/uxd/src/instructions/credix_lp/rebalance_create_withdraw_request_from_credix_lp_depository.rs
index b24cfbe40..572736dfe 100644
--- a/programs/uxd/src/instructions/credix_lp/rebalance_create_withdraw_request_from_credix_lp_depository.rs
+++ b/programs/uxd/src/instructions/credix_lp/rebalance_create_withdraw_request_from_credix_lp_depository.rs
@@ -12,7 +12,6 @@ use crate::state::mercurial_vault_depository::MercurialVaultDepository;
 use crate::utils::calculate_router_depositories_target_redeemable_amount;
 use crate::utils::checked_add;
 use crate::utils::checked_as_u64;
-use crate::utils::checked_sub;
 use crate::utils::compute_value_for_shares_amount_floor;
 use crate::validate_is_program_frozen;
 use crate::CONTROLLER_NAMESPACE;
@@ -183,7 +182,7 @@ pub(crate) fn handler(
             total_shares_supply,
             total_shares_value,
         )?;
-        checked_sub(owned_shares_value, redeemable_amount_under_management)?
+        owned_shares_value.saturating_sub(redeemable_amount_under_management)
     };
 
     let overflow_value = {
@@ -196,14 +195,8 @@ pub(crate) fn handler(
                 &ctx.accounts.alloyx_vault_depository,
             )?
             .credix_lp_depository_target_redeemable_amount;
-        if redeemable_amount_under_management < redeemable_amount_under_management_target_amount {
-            0
-        } else {
-            checked_sub(
-                redeemable_amount_under_management,
-                redeemable_amount_under_management_target_amount,
-            )?
-        }
+        redeemable_amount_under_management
+            .saturating_sub(redeemable_amount_under_management_target_amount)
     };
 
     // ---------------------------------------------------------------------
diff --git a/programs/uxd/src/instructions/credix_lp/rebalance_redeem_withdraw_request_from_credix_lp_depository.rs b/programs/uxd/src/instructions/credix_lp/rebalance_redeem_withdraw_request_from_credix_lp_depository.rs
index 31a5de66c..7c5ec20d7 100644
--- a/programs/uxd/src/instructions/credix_lp/rebalance_redeem_withdraw_request_from_credix_lp_depository.rs
+++ b/programs/uxd/src/instructions/credix_lp/rebalance_redeem_withdraw_request_from_credix_lp_depository.rs
@@ -264,10 +264,8 @@ pub(crate) fn handler(
             .redeemable_amount_under_management,
     )?;
 
-    let profits_collateral_amount = checked_sub(
-        owned_shares_value_before,
-        redeemable_amount_under_management,
-    )?;
+    let profits_collateral_amount =
+        owned_shares_value_before.saturating_sub(redeemable_amount_under_management);
     msg!(
         "[rebalance_redeem_withdraw_request_from_credix_lp_depository:profits_collateral_amount:{}]",
         profits_collateral_amount
@@ -283,14 +281,8 @@ pub(crate) fn handler(
                 &ctx.accounts.alloyx_vault_depository,
             )?
             .credix_lp_depository_target_redeemable_amount;
-        if redeemable_amount_under_management < redeemable_amount_under_management_target_amount {
-            0
-        } else {
-            checked_sub(
-                redeemable_amount_under_management,
-                redeemable_amount_under_management_target_amount,
-            )?
-        }
+        redeemable_amount_under_management
+            .saturating_sub(redeemable_amount_under_management_target_amount)
     };
     msg!(
         "[rebalance_redeem_withdraw_request_from_credix_lp_depository:overflow_value:{}]",
diff --git a/programs/uxd/src/instructions/mercurial/collect_profits_of_mercurial_vault_depository.rs b/programs/uxd/src/instructions/mercurial/collect_profits_of_mercurial_vault_depository.rs
index a436fd52c..eb60e82fa 100644
--- a/programs/uxd/src/instructions/mercurial/collect_profits_of_mercurial_vault_depository.rs
+++ b/programs/uxd/src/instructions/mercurial/collect_profits_of_mercurial_vault_depository.rs
@@ -251,9 +251,7 @@ impl<'info> CollectProfitsOfMercurialVaultDepository<'info> {
                 .ok()
                 .ok_or(UxdError::MathOverflow)?;
 
-        Ok(owned_lp_tokens_value
-            .checked_sub(redeemable_amount_under_management)
-            .ok_or(UxdError::MathOverflow)?)
+        Ok(owned_lp_tokens_value.saturating_sub(redeemable_amount_under_management))
     }
 }
 
diff --git a/programs/uxd/src/utils/calculate_depositories_mint_collateral_amount.rs b/programs/uxd/src/utils/calculate_depositories_mint_collateral_amount.rs
index c4e412b19..9a597adf9 100644
--- a/programs/uxd/src/utils/calculate_depositories_mint_collateral_amount.rs
+++ b/programs/uxd/src/utils/calculate_depositories_mint_collateral_amount.rs
@@ -35,18 +35,13 @@ pub fn calculate_depositories_mint_collateral_amount(
         .iter()
         .map(|depository| {
             if !depository.directly_mintable {
-                return Ok(0);
+                return 0;
             }
-            if depository.target_redeemable_amount <= depository.redeemable_amount_under_management
-            {
-                return Ok(0);
-            }
-            checked_sub(
-                depository.target_redeemable_amount,
-                depository.redeemable_amount_under_management,
-            )
+            depository
+                .target_redeemable_amount
+                .saturating_sub(depository.redeemable_amount_under_management)
         })
-        .collect::<Result<Vec<u64>>>()?;
+        .collect::<Vec<u64>>();
 
     let total_under_target_redeemable_amount =
         calculate_depositories_sum_value(&depositories_under_target_redeemable_amount)?;
@@ -63,23 +58,17 @@ pub fn calculate_depositories_mint_collateral_amount(
         .iter()
         .map(|depository| {
             if !depository.directly_mintable {
-                return Ok(0);
+                return 0;
             }
             let depository_after_target_redeemable_amount = std::cmp::max(
                 depository.redeemable_amount_under_management,
                 depository.target_redeemable_amount,
             );
-            if depository.redeemable_amount_under_management_cap
-                <= depository_after_target_redeemable_amount
-            {
-                return Ok(0);
-            }
-            checked_sub(
-                depository.redeemable_amount_under_management_cap,
-                depository_after_target_redeemable_amount,
-            )
+            depository
+                .redeemable_amount_under_management_cap
+                .saturating_sub(depository_after_target_redeemable_amount)
         })
-        .collect::<Result<Vec<u64>>>()?;
+        .collect::<Vec<u64>>();
 
     let total_under_cap_redeemable_amount =
         calculate_depositories_sum_value(&depositories_under_cap_redeemable_amount)?;
diff --git a/programs/uxd/src/utils/calculate_depositories_redeemable_amount.rs b/programs/uxd/src/utils/calculate_depositories_redeemable_amount.rs
index 5aeef4a2e..19f0df6c5 100644
--- a/programs/uxd/src/utils/calculate_depositories_redeemable_amount.rs
+++ b/programs/uxd/src/utils/calculate_depositories_redeemable_amount.rs
@@ -36,18 +36,13 @@ pub fn calculate_depositories_redeemable_amount(
         .iter()
         .map(|depository| {
             if !depository.directly_redeemable {
-                return Ok(0);
+                return 0;
             }
-            if depository.redeemable_amount_under_management <= depository.target_redeemable_amount
-            {
-                return Ok(0);
-            }
-            checked_sub(
-                depository.redeemable_amount_under_management,
-                depository.target_redeemable_amount,
-            )
+            depository
+                .redeemable_amount_under_management
+                .saturating_sub(depository.target_redeemable_amount)
         })
-        .collect::<Result<Vec<u64>>>()?;
+        .collect::<Vec<u64>>();
 
     let total_over_target_redeemable_amount =
         calculate_depositories_sum_value(&depositories_over_target_redeemable_amount)?;
@@ -63,14 +58,14 @@ pub fn calculate_depositories_redeemable_amount(
         .iter()
         .map(|depository| {
             if !depository.directly_redeemable {
-                return Ok(0);
+                return 0;
             }
-            Ok(std::cmp::min(
+            std::cmp::min(
                 depository.redeemable_amount_under_management,
                 depository.target_redeemable_amount,
-            ))
+            )
         })
-        .collect::<Result<Vec<u64>>>()?;
+        .collect::<Vec<u64>>();
 
     let total_under_target_redeemable_amount =
         calculate_depositories_sum_value(&depositories_under_target_redeemable_amount)?;
diff --git a/programs/uxd/src/utils/calculate_depositories_target_redeemable_amount.rs b/programs/uxd/src/utils/calculate_depositories_target_redeemable_amount.rs
index 868ef49ef..7576c9562 100644
--- a/programs/uxd/src/utils/calculate_depositories_target_redeemable_amount.rs
+++ b/programs/uxd/src/utils/calculate_depositories_target_redeemable_amount.rs
@@ -76,16 +76,10 @@ pub fn calculate_depositories_target_redeemable_amount(
     )
     .map(
         |(depository_raw_target_redeemable_amount, depository_hard_cap_amount)| {
-            if depository_raw_target_redeemable_amount <= depository_hard_cap_amount {
-                return Ok(0);
-            }
-            checked_sub(
-                *depository_raw_target_redeemable_amount,
-                *depository_hard_cap_amount,
-            )
+            depository_raw_target_redeemable_amount.saturating_sub(*depository_hard_cap_amount)
         },
     )
-    .collect::<Result<Vec<u64>>>()?;
+    .collect::<Vec<u64>>();
 
     // Compute the amount of space available under the cap in each depository
     let depositories_available_amount = std::iter::zip(
@@ -94,16 +88,10 @@ pub fn calculate_depositories_target_redeemable_amount(
     )
     .map(
         |(depository_raw_target_redeemable_amount, depository_hard_cap_amount)| {
-            if depository_raw_target_redeemable_amount >= depository_hard_cap_amount {
-                return Ok(0);
-            }
-            checked_sub(
-                *depository_hard_cap_amount,
-                *depository_raw_target_redeemable_amount,
-            )
+            depository_hard_cap_amount.saturating_sub(*depository_raw_target_redeemable_amount)
         },
     )
-    .collect::<Result<Vec<u64>>>()?;
+    .collect::<Vec<u64>>();
 
     // ---------------------------------------------------------------------
     // -- Phase 3