convert float to int