On the TPS63710, the datasheet gives a feedback voltage of 0.7V but feedback resistor values do not match the design equation. If Vout = -5V and R2 = 24k, the formula for R1 yields 147.4k but the datasheet shows 130k on page 22. WEBENCH gives the values 52.3k and 280k which also do not follow the equation. What am I missing?