FRC
-tree is a tagged (Pico)
fraction number. The FRC_VAL_idx
is the index to access the fraction
value of the tree. E.g., if ff
is a fraction tree, then we can select
the underlying fraction of that tree with the expression ff[FRC_VAL_idx]
.