Sembra più facile semplicemente coniare uint256 max.