int main(void)
{ 
	int a=1; 
	float b=1.234; 
	printf("%d %d %d %1.3f %1.3f %1.3f\n",
		a+(int)b,
		a+1,
		(int)b+1,
		(float)a+b,
		(float)a+1.0,
		b+1.0);
}