请问DSP28335怎么使用浮点计算？

您好：
        请问DSP28335怎么使用浮点计算？CCS6.0需要怎么设置？需要添加哪些库？CMD该如何处理（例如需要添加什么语句吗）？
        AdcB.Value[0] = 3.0*(float)(AdcB.Result[0])/4096.0;
        计算上面的语句用了235个Clock,请问对不对？（但是计算结果正确）