Compute `real(dot(x, y))` efficiently. - View it on GitHub