* editfns.c (Fformat_time_string): Don't assume strlen fits in int.