Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Types are defined by the file, not by a schema, no `3.10` is treated as a float and is equal to `3.1`.
- Loading branch information