Hide some implementation details of internal_timer and fix the frequency store