double_integer_scale  430 src/floatfns.c       dscale = double_integer_scale (XFLOAT_DATA (d));
double_integer_scale  433 src/floatfns.c   int nscale = FLOATP (n) ? double_integer_scale (XFLOAT_DATA (n)) : 0;
double_integer_scale 4067 src/lisp.h     int double_integer_scale (double);
double_integer_scale  416 src/timefns.c        int scale = double_integer_scale (t);