Introduce numbers tool.
Introduce HTML 001 "&nbsp; versus U+00A0".