dev/defs/animation/keyframe_double.json

{
  "name": "KeyFrameDouble",
  "key": {
    "int": 30,
    "string": "keyframedouble"
  },
  "extends": "animation/keyframe.json",
  "properties": {
    "value": {
      "type": "double",
      "initialValue": "0",
      "key": {
        "int": 70,
        "string": "value"
      }
    }
  }
}