interval_map::interval