output:half floating point precision version of the f32 input file.
