Scm_RealSecondsToTime 2666 src/gauche.h   SCM_EXTERN ScmObj Scm_RealSecondsToTime(double sec);
Scm_RealSecondsToTime 1661 src/syslib.c   SCM_RESULT = Scm_RealSecondsToTime(t);