Added mint_timer_getSecondsToTicks