Hallo,
man kann auch mehrere Widerstände zusammenschalten. Reihen und Parallelschaltung gemischt wenn es sein muß um genau auf den Wunschwert zu kommen. Oder man muß mit einer Abweichung leben wenn es möglich ist. Je nach Anforderung. Für R3/R4 würde ich dann auch welche mit höhere Genauigkeit verwenden. 0,1% Toleranz zum Bsp.
Am LEM HAS Out kommen ja +/- 4V maximal raus. Bedingt durch das angehobene Massepotential um +2,5V liegen jedoch links vom R3 keine max. +4V an sondern max. +6,5V an. Gegenüber Masse. Jetzt kommt der Spannungsteiler R3/R4 ins Spiel. Über R3/R4 fallen die max. +4V ab. Der AD0 sieht davon aber nur die Teilspannung über R4.
4V / (4,7 + 7,5) * 7,5 = 2,46V
Da der Arduino jedoch gegen saubere Masse mißt, gelangen max. 4,96V (2,46 + 2,5V) an AD0. Das ist das Optimum der Ausreizung der Meßauflösung. Cool. Habe ich nicht anders erwartet von Gunther. 
Deine errechneten 13,5 kOhm für R3 stimmen, nimm den nächst kleineren Wert. Oder baue ihn mit 2 Widerständen zusammen. Oder Du rechnest noch etwas hin und her um andere Werte für R3/R4 zu finden. Den Rest legste in der Software fest zum rechnen. Was was entspricht.