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--;