definable real number

real number uniquely specified by description