variadic: float arguments are 64-bit words on the stack in the i386 SysV ABI.