fix_plus
3246 numeric.c return fix_plus(x, y);
fix_plus
3253 numeric.c return fix_plus(x, y);