[WhiteDragon]

I don't think it should round down, it should round towards zero.

The floating point issue has already been covered above.

I agree there should be a "floor" in Graal Script like there is in PHP, or the behavior of int should be changed.