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

module dstress.run.double_05;

int main(){
	double d;
	assert( double.dig > 9 );
	assert( d.dig == double.dig );
	assert( (4.2).dig == double.dig );
	return 0;
}