Added (failing) regression test for float-to_int casts