Parece más fácil simplemente acuñar uint256 max.