change _increaseBalance type to uint128

contracts/mocks/token/ERC721ConsecutiveEnumerableMock.sol

@@ -36,7 +36,7 @@ contract ERC721ConsecutiveEnumerableMock is ERC721Consecutive, ERC721Enumerable
         return super._update(to, tokenId, operatorCheck);
     }
 
-    function _increaseBalance(address account, uint256 amount) internal virtual override(ERC721, ERC721Enumerable) {
+    function _increaseBalance(address account, uint128 amount) internal virtual override(ERC721, ERC721Enumerable) {
         super._increaseBalance(account, amount);
     }
 }

contracts/mocks/token/ERC721ConsecutiveMock.sol

@@ -50,7 +50,7 @@ contract ERC721ConsecutiveMock is ERC721Consecutive, ERC721Pausable, ERC721Votes
     }
 
     // solhint-disable-next-line func-name-mixedcase
-    function _increaseBalance(address account, uint256 amount) internal virtual override(ERC721, ERC721Votes) {
+    function _increaseBalance(address account, uint128 amount) internal virtual override(ERC721, ERC721Votes) {
         super._increaseBalance(account, amount);
     }
 }

contracts/token/ERC721/ERC721.sol

@@ -180,6 +180,9 @@ abstract contract ERC721 is Context, ERC165, IERC721, IERC721Metadata, IERC721Er
 
     /**
      * @dev Returns the owner of the `tokenId`. Does NOT revert if token doesn't exist
+     *
+     * WARNING: Any override of this function that allocates token to accounts following a custom logic should go in
+     * pair with a call to {_increaseBalance} so that balances and ownerships remain consistent with one another.
      */
     function _ownerOf(uint256 tokenId) internal view virtual returns (address) {
         return _owners[tokenId];
@@ -432,11 +435,14 @@ abstract contract ERC721 is Context, ERC165, IERC721, IERC721Metadata, IERC721Er
     /**
      * @dev Unsafe write access to the balances, used by extensions that "mint" tokens using an {ownerOf} override.
      *
-     * WARNING: Anyone calling this MUST ensure that the balances remain consistent with the ownership. The invariant
-     * being that for any address `a` the value returned by `balanceOf(a)` must be equal to the number of tokens such
-     * that `ownerOf(tokenId)` is `a`.
+     * NOTE: the value is limited to type(uint128).max. This protect against _balance overflow. It is unrealistic that
+     * a uint256 would ever overflow from increments when these increments are bounded to uint128 values.
+     *
+     * WARNING: Increassing an account's balance using this function should go in pair with an override of the
+     * {_ownerOf} function that resolve the ownership of the corresponding tokens so that balances and ownerships
+     * remain consistent with one another.
      */
-    function _increaseBalance(address account, uint256 value) internal virtual {
+    function _increaseBalance(address account, uint128 value) internal virtual {
         _balances[account] += value;
     }
 }

contracts/token/ERC721/extensions/ERC721Enumerable.sol

@@ -169,7 +169,7 @@ abstract contract ERC721Enumerable is ERC721, IERC721Enumerable {
     /**
      * See {ERC721-_increaseBalance}. We need that to account tokens that were minted in batch
      */
-    function _increaseBalance(address account, uint256 amount) internal virtual override {
+    function _increaseBalance(address account, uint128 amount) internal virtual override {
         if (amount > 0) {
             revert ERC721EnumerableForbiddenBatchMint();
         }

contracts/token/ERC721/extensions/ERC721Votes.sol

@@ -40,8 +40,7 @@ abstract contract ERC721Votes is ERC721, Votes {
     /**
      * See {ERC721-_increaseBalance}. We need that to account tokens that were minted in batch
      */
-    // solhint-disable-next-line func-name-mixedcase
-    function _increaseBalance(address account, uint256 amount) internal virtual override {
+    function _increaseBalance(address account, uint128 amount) internal virtual override {
         super._increaseBalance(account, amount);
         _transferVotingUnits(address(0), account, amount);
     }