Partially redundant etymology? edit

  • "Generalization of the term decimal point to be independent of the base used." The bolded text (formatting mine) could be redundant, as it's included in the definition. I've removed it, but I could be wrong and it's necessary.
Return to "radix point" page.