the linter fails because i cast a Uint256 into Uint128. Halmos only has the symbolic version for [Uint256](https://github.com/a16z/halmos-cheatcodes/blob/main/src/SVM.sol) but not Uint128. Hence i cast it to Uint128. For a halmos test, this is perfectly reasonable and sound since i am casting down and all the symbolic values of Uint128 are covered. Is there a better way around? @QGarchery

the linter fails because i cast a Uint256 into Uint128. Halmos only has the symbolic version for [Uint256](https://github.com/a16z/halmos-cheatcodes/blob/main/src/SVM.sol) but not Uint128. Hence i cast it to Uint128. For a halmos test, this is perfectly reasonable and sound since i am casting down and all the symbolic values of Uint128 are covered. Is there a better way around? @QGarchery _Originally posted by @bhargavbh in https://github.com/morpho-org/morpho-blue/issues/741#issuecomment-3588315481_