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

module dstress.run.float_08;

int main(){
	float f;
	assert(float.max_10_exp >= 20);
	assert(float.max_10_exp < double.max_10_exp);
	assert(float.max_10_exp == f.max_10_exp);
	assert(float.max_10_exp == (2.4f).max_10_exp);
	return 0;
}