redefine inner product (real number)