bignum_to_double 3903 src/editfns.c  			darg = bignum_to_double (arg);
bignum_to_double 3145 src/lisp.h     	  : bignum_to_double (n));