Wydaje się łatwiejsze po prostu wyemitować uint256 max.