The powerpc64 support opted to pass floating point values both in the