@Override
  protected @NotNull LocalQuickFix buildFix(Object... infos) {
    String castTo = (String)infos[0];
    return new IntegerDivisionInFloatingPointContextFix(castTo);
  }
@Override
  protected @NotNull LocalQuickFix buildFix(Object... infos)