{
  "fixture": "BACnet REAL DOUBLE",
  "cases": [
    {
      "case_id": "REAL23.75",
      "kind": "正例",
      "result": {
        "type": "REAL",
        "value": 23.75,
        "finite": true
      }
    },
    {
      "case_id": "DOUBLE23.75",
      "kind": "正例",
      "result": {
        "type": "DOUBLE",
        "value": 23.75,
        "finite": true
      }
    },
    {
      "case_id": "REAL正无穷",
      "kind": "正例",
      "result": {
        "type": "REAL",
        "value": "Infinity",
        "finite": false
      }
    },
    {
      "case_id": "REAL错宽度",
      "kind": "显式负例",
      "rejected": "浮点宽度与类型矛盾"
    }
  ],
  "assertions_passed": 4,
  "scope": "合成输入离线演算；未接真实设备"
}