view run/double_07.d @ 1:3414705c41ac

removed CVS header
author thomask
date Sun, 26 Sep 2004 12:06:09 +0000
parents 3269e4627918
children f87ba6507260
line wrap: on
line source


int main(){
	double d;
	assert(double.mant_dig>=8);
	assert(d.mant_dig==double.mant_dig);
	assert((2.3).mant_dig==double.mant_dig);
	return 0;
}