Types and properties of numbers