Arithmetically definable number