[Numpy-discussion] trouble with numpy.float64 multiplied with cvxopt.matrix