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