Made Intervals serializable