Use fixed-size integers for .idx file I/O