Out of curiosity, does x86_64 have instructions directly corresponding to arm's VFP functionality, or would they need to be emulated with multiple x86 instructions? I know that arm64 doesn't use VFP registers due to 64-bit GPRs used, does x64 follow similar conventions? Not familiar with x86 so I'm asking this sheerly out of personal curiosity.