typename recognition of numericdomains was wrong