malloc: cast size down to int in bin_index functions