DfType (LongRangeBinOp op, float f1, float f2) { return switch (op) { case PLUS -> DfTypes.floatValue(f1 + f2).makeWide(); case MINUS -> DfTypes.floatValue(f1 - f2).makeWide(); case MUL -> DfTypes.floatValue(f1 * f2).makeWide(); case DIV -> DfTypes.floatValue(f1 / f2).makeWide(); case MOD -> DfTypes.floatValue(f1 % f2).makeWide(); default -> DfType.TOP; }; }