; calculates the difference |a-b|, setting carry flag if a