Fix va_arg to generate LDDFi for floating point values, instead of LDXi.