Casting float to int