always use the empty UInt for documentation generation