{
  "lhs": { "type": "number" },
  "rhs": { "type": "integer" }
}