What do people use for a real time clock?

Genuine Arduino uses the resonator as primary system clock source and it is very inaccurate. I think, to synchronize Arduino once or twice a day would be insufficient on the resolution grade of seconds even the minutes. The DS3231 can be used as secondary clock source for the ATmega chip to drive it via interrupt to obtain an accuracy of seconds very precise.