explicit handling of posn.sy:8 i.e. sign, overflow/carry not needed