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