They are properties so they most likely get computed when called. Doing a right click-Get Definition does not show more as they are probably done on the C++ side. Monodevelop shows their values as it probably calls for the properties.
It would be surprising and inefficient if all members of a Vector would be computed when the x, y or z is modified.