A 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].