Symbol: dbl_to_dbl_fcnvxf