Fixed #6168 (False positive: sign conversion for inner calculation)