Symbol: vis_to_double