{
  "id": "SQL-03-001",
  "sets": [
    [
      {
        "integer_division": 2,
        "real_division": 2.5,
        "cast_division": 2.5
      }
    ]
  ],
  "stdout": "[{\"integer_division\":2,\"real_division\":2.5,\"cast_division\":2.5}]\n",
  "stderr": "",
  "exit": 0,
  "snapshot_journal_mode": "delete"
}