Symbol: fdiv