positive *integer*?