Symbol: dbl_fsub