When adding floating-point registers as callee-saved register to block- and function parameter lists add them as `F64X2` arguments.
When adding floating-point registers as callee-saved register to block- and function parameter lists add them as `F64X2` arguments.