fix wrong float_t on x86_64