conv_i32_to_d32
void conv_i32_to_d32(double *d32, uint32_t *i32, int len);
conv_i32_to_d32(dn, nint, nlen);
conv_i32_to_d32(d32r, prod, nlen);
conv_i32_to_d32(d32r, prod, nlen);
conv_i32_to_d32(d32r, prod, nlen);