documented numberkindsmodule.