defined numbers