Evaluate.string_of_gfloat: back to 4-digit precision