earth-radius public under quantity 102 List Picture As a command %3 n0 earth-radius n1 quantity n1->n0