Lijkt gemakkelijker om gewoon uint256 max te minten.