deal with rounding error when reading ints from index texture. affects only some GPUs