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