How to convert float to int in c