[c] How to convert int to float in C?