Symbol: Dbl_set_exponentmantissa