Return of 48 bit mantissa in Random