"number representation system"@en-us . .