Last modified on Fri Feb 28 20:21:20 PST 1992 by stolfi modified on Wed Sep 25 00:05:24 1991 by kalsow modified on Thu Nov 2 21:55:26 1989 by muller
MODULE LongReal; BEGIN END LongReal.