Make it a bit more clear, what's going on in ia32_emit_x87_binop().