Symbol: dbl_to_sgl_fcnvfu