[[!redirects integers]] < [[nlab:integer]] category: redirected to nlab