typed vectors and quaternions