```\nFile: LMPDebt.sol\n        // Neither of these numbers include rewards from the DV\n        if (currentDvDebtValue < updatedDebtBasis) {\n            // We are currently sitting at a loss. Limit the value we can pull from\n            // the destination vault\n            currentDvDebtValue = currentDvDebtValue.mulDiv(userShares, totalVaultShares, Math.Rounding.Down);\n            currentDvShares = currentDvShares.mulDiv(userShares, totalVaultShares, Math.Rounding.Down);\n        }\n```\n