openapi: 3.0.0
info:
  title: 'Issue X default value number with format'
  version: latest
paths:
  '/':
    get:
      operationId: operation
      responses:
        '200':
          description: Success
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/ModelWithPropertyHavingDefault'
components:
  schemas:
    ModelWithPropertyHavingDefault:
      properties:
        propertyInt:
          type: integer
          default: 0
          format: int32
        propertyLong:
          type: integer
          default: 0
          format: int64
        propertyFloat1:
          type: number
          default: 0
          format: float
        propertyFloat2:
          type: number
          default: 0.0
          format: float
        propertyFloat3:
          type: number
          default: 0.01
          format: float
        propertyDouble1:
          type: number
          default: 0
          format: double
        propertyDouble2:
          type: number
          default: 0.0
          format: double
        propertyDouble3:
          type: number
          default: 0.01
          format: double
