[Abstract 004] numbers digits dotted