Improve x86-64 nadd and nadd2