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

module dstress.run.double_09;

int main(){
	double d;
	assert(double.max_exp > double.max_10_exp);
	assert(d.max_exp == double.max_exp);
	assert((2.4).max_exp == double.max_exp);
	return 0;
}