llama.cpp
dcf5d328 - json: cap length of numbers to 15 digits before/after decimal point

Commit

2 years ago

json: cap length of numbers to 15 digits before/after decimal point (avoids infinite gen, e.g. "one third" -> `0.333333333333...`)

References

Author

ochafik

Parents