@Override
  public @NotNull DfType fromRelation(@NotNull RelationType relationType) {
    return DfIntType.super.fromRelation(relationType);
  }
@Override
  public @NotNull DfType fromRelation(@NotNull RelationType relationType)