/* *sign = hi & 0x80000000UL; */
	    *sign = 0;

	    /*