Vector product of two 3-vectors. (single precision)
va float[3] first vector vb float[3] second vector
vc float[3] vector result P.T.Wallace Starlink 31 October 1993