Symbol: dbl_to_dbl_fcnvfu