Number typedef