but since they didn't release it before Kari, they have asked me to keep the information non-public.
I seem to recall a/some vintage/antique pocketwatch repeaters being "decimal" but don't specifically remember which.
I'll bring the subject up again if any of the above changes (ie, I'm given permission to share who was working on it, or if I remember which vintage/antique repeater had it.)
TM