Blame sysdeps/x86_64/fpu/Implies