Re: divRem by `-' performance