SQLite

In the example below, I expect the conversion of '1.0' to an INT to yield 1, however, it yields 1.0:

SELECT -'1.0'; -- expected: -1, actual: -1.0

This is also the case for other floating-point strings whose conversion to INT would be lossless. I expect the conversion to behave as a CAST to NUMERIC, as stated in the documentation:

All mathematical operators (+, -, *, /, %, <<, >>, &, and |) cast both operands to the NUMERIC storage class prior to being carried out. 

The conversion works as expected for CASTs:

SELECT -CAST('1.0' AS NUMERIC); -- -1

Documentation updated to align with the implementation. See https://www.sqlite.org/docsrc/info/e0f700bb6c8142c5. Test cases added to TH3.