fix is-number example#129

v1rtl wants to merge 2 commits intoes-tooling:maines-tooling/module-replacements:mainfrom

v1rtl:patch-1Copy head branch name to clipboard