begin
comment standard notation of real numbers;
	real x;
	x := 1.23456789;
	outreal(1,x)
end