review fixes for libm/amd64/src/libm_inlines.h