@Override
  default @NotNull DfType correctForRelationResult(@NotNull RelationType relation, boolean result) {
    if (result == (relation != RelationType.NE)) {
      return meet(new DfFloatRangeType(Float.NEGATIVE_INFINITY, Float.POSITIVE_INFINITY, false, false));
    }
    return this;
  }
@Override
  default @NotNull DfType correctForRelationResult(@NotNull RelationType relation, boolean result)