Symbol: fpu_add