Use double precision quaternions