Duodecillion definitions