[[!redirects decimal numbers]] < [[nlab:decimal rational number]] category: redirected to nlab