New: type operator of number type