<commit_before>package org.projog.core.function.math;

import static org.projog.core.term.TermUtils.toInt;

import org.projog.core.Calculatable;
import org.projog.core.KnowledgeBase;
import org.projog.core.term.IntegerNumber;
import org.projog.core.term.Term;

public class IntegerDivide implements Calculatable {
   @Override
   public IntegerNumber calculate(KnowledgeBase kb, Term[] args) {
      final int dividend = toInt(args[0]);
      final int divisor = toInt(args[1]);
      return new IntegerNumber(dividend / divisor);
   }
}<commit_msg>added javadoc and made final<commit_after>package org.projog.core.function.math;

import static org.projog.core.term.TermUtils.toInt;

import org.projog.core.Calculatable;
import org.projog.core.KnowledgeBase;
import org.projog.core.term.IntegerNumber;
import org.projog.core.term.Term;

/** 
 * Performs integer division.
 * <p>
 * The result will be rounded down to the nearest whole number.
 */
public final class IntegerDivide implements Calculatable {
   @Override
   public IntegerNumber calculate(KnowledgeBase kb, Term[] args) {
      final int dividend = toInt(args[0]);
      final int divisor = toInt(args[1]);
      return new IntegerNumber(dividend / divisor);
   }
}
{'fraction_non_alphanumeric': 0.10414971521562245, 'fraction_numerical': 0.0032546786004882017, 'mean_word_length': 4.37117903930131, 'pattern_counts': {'":': 0, '<': 4, '<?xml version=': 0, '>': 4, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4737509', 'n_tokens_mistral': 404, 'n_tokens_neox': 373, 'n_words': 94}