Symbol: Dbl_set_mantissap2