Made an old demo program for Double intervals compile again.