(dual quaternions? Are they
used in games?)