CCS编写CC3200的ADC程序计算浮点数出错

在程序中执行如下这句话，只会输出0.000000

UART_PRINT("\n\nVoltage is %f\n\n",(((float)((pulAdcSamples[4+index] >> 2 ) & 0x0FFF))*1.4)/4096);

但是单独输出(pulAdcSamples[4+index] >> 2) & 0x0FFF的话，结果就是对的。

后来测试：

int i = 5;

UART_PRINT("i is %f\n", i);

也输出错误，输出0.000000

CC3200的MCU不支持浮点。

那SDK里面的ADC为什么可以输出浮点的电压值