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