Fix x86_64 bits/mathinline.h for -m32 compilation.