Floating-point add, sub, and mul are now spelled fadd, fsub, and fmul,