Fix a crash in which a multiplication was being reported as being both negative