Could you please explain why need FLOAT32x4_REGISTERS and INT32x4_REGISTERS? They look almost same.