{
   "int7" : {
      "type" : "integer",
      "value" : "12345"
   }
}