How Rich is Larry Summers?