Fix output of real numbers in ufo.c.