Implemented ilp::compressed_weighted_converter_t.