Category: integer-truncation-bug