cast int to float explicitly