* timevar.h (struct timevar_time_def): Change element type to float.