Вот простое решение.
FileInputStream fis = new FileInputStream("13b_1.dat");
DataInputStream dis = new DataInputStream(fis);
int count = 0;
try {
while (true) {
dis.readInt();
count++;
}
} catch (EOFException e) {}
System.out.println("There are " + count + " integers.");
Для эффективности, вы можете прочитать пакет байтов и разделить число байтов на четыре, поскольку одно целое число равно четырем байтам.