irrational-number public under real-number 12 List Picture As a command %3 n0 irrational-number n2 transcendental-number n0->n2 n1 real-number n1->n0