Parece mais fácil simplesmente cunhar uint256 max.