graph_def.c: Make default number format easier to read.