18.1 adding __cmp__ to Time object