Changed TimeManager properties from int to NSTimeIntervals (a more appropriate datatype)