: fmultiply ( F: a b -- F: c )  F* ;
: multiply ( a b -- c )  * ;