8 lines
120 B
Text
8 lines
120 B
Text
MODULE Inf EXPORTS Main;
|
|
|
|
IMPORT IO, IEEESpecial;
|
|
|
|
BEGIN
|
|
IO.PutReal(IEEESpecial.RealPosInf);
|
|
IO.Put("\n");
|
|
END Inf.
|