Symbol: FP_MUL_D