Properties of Number Types