Quaternion arithmetics