code: public static int _int(EvaluationContext ctx, Object number) {
          return Conversions.toDecimal(number, ctx).setScale(0, RoundingMode.FLOOR).intValue();
      }
docs: Rounds a number down to the nearest integer