Best way to map ints to float in Arduino?
According to the Arduino pages: 


  The map() function uses integer math so will not generate fractions, when the math might indicate that it should do so. Fractional remainders are truncated, and are not rounded or averaged.


Therefore: Why not do it manually?
float a = 0.5f * 3200.0f;