plus_sign 1927 src/number.c static void double_print(char *buf, int buflen, double val, int plus_sign) plus_sign 1932 src/number.c if (plus_sign) strcpy(buf, "+0.0"); plus_sign 1937 src/number.c else if (plus_sign) strcpy(buf, "#i+1/0"); plus_sign 1946 src/number.c else if (plus_sign) *buf++ = '+', buflen--;