Age | Commit message (Collapse) | Author | Files | Lines |
|
Add test.
Mention this and also floating point mod change in README.
|
|
|
|
|
|
|
|
|
|
Remove the cause and fix the original problem with floating point
numbers with leading zeros (users/17445) a different way.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
as floats now has `.' at the end, c.f. 16423.
|
|
|
|
|
|
|
|
|