make float printing match exactly between mac and windows (code taken from glsl-optimizer)