- sprintf(s, "%s=%f\n", init_cond->param->name, init_cond->init_val.double_val);
+ {
+ lldiv_t div = lldiv( init_cond->init_val.double_val * 1000000,1000000 );
+ sprintf(s, "%s=%"PRId64".%06u\n", init_cond->param->name, div.quot,
+ (unsigned int) div.rem );
+ }