C Cast Float To Integer