The value returned os.time the integer number of seconds since Jan 1, 1970 (in the cameras timezone). It's not really rounded or truncated form anything.
i.e. you should not assume that time increments by every time get_tick_count() passes a multiple of 1000.
Started by RoyJN
RAW Shooting and Processing
Started by federico99
Started by euroskip
General Help and Assistance on using CHDK stable releases
Started by sas4740
Started by r0xx