Symbol: dbl_fdiv