Timer enhancements (#13): deciseconds, hours