Renamed interval lib for C++