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