INT128 Casting bug

[acquamarin]

kuzu> return to_double(to_int128(-15));
------------------------------------------------------------------------------------
| TO_DOUBLE(TO_INT128(NEGATE(15)))                                                 |
------------------------------------------------------------------------------------
| -1797693134862315708145274237317043567980705675258449965989174768031572607800... |
------------------------------------------------------------------------------------
(1 tuple)
Time: 1.71ms (compiling), 0.66ms (executing)

Gives wrong result.
We should have more tests on int128 casting.