[
  {
    "actual_value": "9007199254740992.0",
    "backend": "dense",
    "dtype": "float64",
    "input": [
      9007199254740992,
      1
    ],
    "mathematical_sum": 9007199254740993,
    "name": "binary64_rounding",
    "within_contract": false
  },
  {
    "actual_value": "9007199254740993",
    "backend": "csr",
    "dtype": "int64",
    "input": [
      9007199254740992,
      1
    ],
    "mathematical_sum": 9007199254740993,
    "name": "binary64_rounding",
    "within_contract": false
  },
  {
    "actual_value": "9007199254740993",
    "backend": "csc",
    "dtype": "int64",
    "input": [
      9007199254740992,
      1
    ],
    "mathematical_sum": 9007199254740993,
    "name": "binary64_rounding",
    "within_contract": false
  },
  {
    "actual_value": "9.223372036854776e+18",
    "backend": "dense",
    "dtype": "float64",
    "input": [
      9223372036854775807,
      1
    ],
    "mathematical_sum": 9223372036854775808,
    "name": "signed_int64_overflow",
    "within_contract": false
  },
  {
    "actual_value": "-9223372036854775808",
    "backend": "csr",
    "dtype": "int64",
    "input": [
      9223372036854775807,
      1
    ],
    "mathematical_sum": 9223372036854775808,
    "name": "signed_int64_overflow",
    "within_contract": false
  },
  {
    "actual_value": "-9223372036854775808",
    "backend": "csc",
    "dtype": "int64",
    "input": [
      9223372036854775807,
      1
    ],
    "mathematical_sum": 9223372036854775808,
    "name": "signed_int64_overflow",
    "within_contract": false
  }
]
