"decimal numeration system"@en-us . .