concepts.properties-of-numbers.texi 17.3 KB