I assume that this is a possibility:
file_str_write(file_handle, str_for_float(NULL, 12.345678));