[time-nuts] What's the easiest way to divide by 10 for Thunderbolt reference output?

[Chris Wilson]

> A Tektronix DD501 will do divide by 10, or any number from 00002 to 99999.

> -John

Thanks, was hoping for something as a permanent, small and cheap
fitting, standalone. Don't really want to tie up my 7233 running
something to run something else IYSWIM? Was hoping China Town would
have the answer for low $$'s :)


-- 
       Best Regards,
                   Chris Wilson.