Add comment explaining why we round down when comparing adjacent
percentile values.