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