Symbol: Dbl_setone_lowmantissap2