use fast version of the int reading code for the high-order digits too
[musl] / src / setjmp / arm /
2011-09-18 Rich Felkerinitial commit of the arm port