// $HeadURL$
// $Date$
// $Author$

module dstress.run.real_08;

int main(){
	real r;
	assert(real.max_10_exp>=20);
	assert(real.max_10_exp >= float.max_10_exp);
	assert(real.max_10_exp == r.max_10_exp);
	return 0;
}