How to define double data type in OpenAPI (Swagger)?

Question

For integers, I use

userId:
  type: integer
  format: int32

But what if I want to assign the double type?

I tried looking through Swagger documentation but couldn't find the answer.

user_8114716 · Answer

We can write as

userId:
    type: number
    format: double