rational-number public under algebraic-number 9, real-number 12 List Picture As a command %3 n0 rational-number n3 integer n0->n3 n1 algebraic-number n1->n0 n2 real-number n2->n0