Also make Weighted, WeightedRealVector serializable (HT Justin Hayes)