JSON schema generation does not allow differentiation between double and float

As per https://github.com/google/flatbuffers/blob/bab10754d93d74d1ff44d46de63558bc4127f7d8/src/idl_gen_json_schema.cpp#L89 lines 89-91, the generated JSON schema describes both float and double as "number" with no indication of the field width unlike with integers where min and max are provided.