Could we use template to implement `DoFloat32x4ToTagged` and `DoInt32x4ToTagged`?