Clarify what it means for digits to be separated by underscores.#517

tabatkins merged 1 commit into

mainkdl-org/kdl:mainfrom

underscore-claritykdl-org/kdl:underscore-clarityCopy head branch name to clipboard