### operator: pop-float

description:
pop-float ket
pops the trailing float in the given ket to the coefficient
if the starting ket has a coefficient then multiply it by this value
if the trailing value is not a float, then leave the ket unchanged
examples:
pop-float |3.2>
3.2| >
-- coefficient of 5, so multiply by 7:
pop-float 5|7>
35| >
pop-float |x: 2>
2|x>
-- again, multiply the coefficient by the value
pop-float 5.1|x: y: 2>
10.2|x: y>
-- y is not a float, so leave |x: y> unchanged
pop-float |x: y>
|x: y>
see also:
push-float, to-value, to-category

Home