description:
to-value |x>
if the value is a float, remove from the ket, and apply it to the coefficient
otherwise, return the ket unchanged
examples:
to-value |>
|>
to-value |19>
19| >
to-value |age: 33.5>
33.5|age>
to-value |cat: val>
|cat: val>
to-value |cat1: cat2: 13>
13|cat1: cat2>
see also:
to-category, push-float, pop-float