Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix float such that it does not need anything after the comma, and
that it can start with multiple digits.
- Loading branch information