minor fixes in memory allocation code (float->double)
emulated uint32*uint32->uint64 multiplication with vector instructions on MIC
Merge branch 'devel' into v2.3.2