/* Tests whether DateTime is an interval value. */ int is_interval() {