quaternion — noncommutative extension of the real numbers