int to float explicit conversion)