Re: [tz] Checked arithmetic bug