Looks to me like an underlying overflow bit isn't being checked properly in some cases.