library WDiv { // Fixed point arithmetic in 18 decimal units
    // Taken from https://github.com/usmfum/USM/blob/master/contracts/WadMath.sol
    /// @dev Divide an amount by a fixed point factor with 18 decimals
    function wdiv(uint256 x, uint256 y) internal pure returns (uint256 z) {
        z = (x * 1e18) / y;
    }
}
function wdiv(uint256 x, uint256 y) internal pure returns (uint256 z) {
    z = (x * 1e18) / y;
}

/// @dev Divide an amount by a fixed point factor with 18 decimals