float_time       3731 src/sysdep.c   			  / (clocks_per_sec * float_time (etime)));
float_time         97 src/systime.h  extern double float_time (Lisp_Object);
float_time       1289 src/timefns.c  	  : make_float (float_time (specified_time)));