description:
push-float ket
pushes the float coefficient to a category
examples:
-- 3 times don't know equals don't know:
push-float 3|>
|>
-- NB: the space in the ket:
push-float 3| >
|3>
push-float 3|x>
|x: 3>
push-float 3.2|x: y: z>
|x: y: z: 3.2>
see also:
pop-float, to-value, to-category