mirror of
https://github.com/MariaDB/server.git
synced 2025-11-08 00:28:29 +03:00
The problem was that when converting a string to an exact number, rounding didn't work, because conversion didn't understand approximate numbers notation. Fix: a new function for string-to-number conversion was implemented, which is aware of approxinate number notation (with decimal point and exponent, e.g. -19.55e-1)
4.7 KiB
4.7 KiB