@manniman: How many ordinals