badnum           1607 src/number.c       ScmObj badnum;
badnum           1625 src/number.c           badnum = arg1;
badnum           1643 src/number.c           badnum = arg1;
badnum           1654 src/number.c           badnum = arg1;
badnum           1656 src/number.c       else badnum = arg0;
badnum           1657 src/number.c       Scm_Error("real number required: %S", badnum);