Scm_PrintDouble 2601 ext/uvector/uvector.c Scm_PrintDouble(out, (double)elt, 0); Scm_PrintDouble 2200 src/gauche.h SCM_EXTERN void Scm_PrintDouble(ScmPort *port, double d, int flags);