output:32-bit floating point precision version of the f32 input file.
