The PDF file for the article is available at http://pobox.com/~oleg/ftp/papers/number-parameterized-types.pdf