Parece mais fácil apenas cunhar uint256 max.