Add support for float -> int casts, which truncate in the c# fashion