Symbol: Dbl_set_mantissa