Fixed Linux/glibc/printf float segfault/conform to x64 ABI