Definable number