title: How to define double data type in OpenAPI (Swagger)?
body: <p>For integers, I use</p>
  
  <pre><code>userId:
    type: integer
    format: int32
  </code></pre>
  
  <p>But what if I want to assign the double type?</p>
  
  <p>I tried looking through Swagger documentation but couldn't find the answer.</p>