Symbol: dbl_to_dbl_fcnvfxt