floating-point fix for x86_64