fix(docs): clarify minting and redemption requirements to specify positive integers of lots

Author: fassko

docs/fassets/3-minting.mdx

@@ -30,7 +30,7 @@ The choice is based on the minting fee or the amount of free collateral, which m
 The minter sends to the Asset Manager contract a collateral reservation transaction (CRT). The CRT includes:
 
     - The address of the chosen agent.
-    - The amount to mint, which must be a whole number of [lots](/fassets/minting#lots).
+    - The amount to mint, which must be a positive integer of [lots](/fassets/minting#lots).
     - The [collateral reservation fee (CRF)](#fees) to compensate for the locked collateral.
     - The executor's address, if the minter is not the executor.
     - The executor's fee, if the minter is not the executor.
@@ -265,7 +265,7 @@ The following example shows how the redemption queue works.
 
 ## Lots
 
-Every minting and redemption must be made in a whole number of lots.
+Every minting and redemption must be made in a positive integer of lots.
 Lots serve the following purposes:
 
 - They prevent underlying transaction fees from exceeding minting or redemption fees.
@@ -284,9 +284,9 @@ Some processes generate a fractional number of lots:
 
 - On minting, part of the minting fee is minted as the FAsset fee to the collateral pool.
   This value is usually less than 1 lot.
-- When the lot size is changed, redemptions close only a whole number of lots of each redemption ticket, which leaves the remainder unredeemed.
+- When the lot size is changed, redemptions close only a positive integer of lots of each redemption ticket, which leaves the remainder unredeemed.
 
-These amounts, known as dust, cannot be redeemed directly because redemption requires a whole number of lots.
+These amounts, known as dust, cannot be redeemed directly because redemption requires a positive integer of lots.
 
 In such cases, the generated dust is not included in any redemption ticket.
 Instead, each agent's dust is accumulated until the dust amounts to a whole lot.

docs/fassets/4-redemption.mdx

@@ -11,7 +11,7 @@ To do so, these holders, known as redeemers, send FAssets to the Asset Manager s
 
 This is the summary of the redemption process:
 
-1. The redeemer starts the redemption for a whole number of lots by issuing a request to the Asset Manager smart contract.
+1. The redeemer starts the redemption for a positive integer of lots by issuing a request to the Asset Manager smart contract.
 
    The FAssets system chooses one or more redemption tickets from the front of the [FIFO redemption queue](/fassets/minting#redemption-tickets-and-the-redemption-queue).
    The number of chosen redemption tickets is capped to avoid high gas consumption.
@@ -135,4 +135,4 @@ As shown in the following process, agents can self-redeem for any reason, includ
 3. The collateral that was backing those assets is released.
 4. The underlying collateral is released and can be withdrawn from the underlying address later.
 
-The self-redeemed amount is not limited to a whole number of lots and can be less than 1 lot, which makes self-closing ideal for redeeming an agent's dust.
+The self-redeemed amount is not limited to a positive integer of lots and can be less than 1 lot, which makes self-closing ideal for redeeming an agent's dust.