Introduce number-type.