Rename digits to decimals
analytically opened this issue · comments
Both digits and decimals have basically the same meaning: 0-9. Decimals is how you say it's base 10 and contains the "."; it does not refer to what is on one of the sides of the ".". Changing it doesn't make any difference (i.e. 34.2 is a decimal number, and 3, 4, and 2 are the decimals).