dvmulu
double vmul u