Redirecting to Definable real number