Improved efficiency of TimeLog::get_stints().