- indexing
- title: "Real values, single precision."
- project: "Eiffel Kernel Library"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: kernel
expanded class REAL
- inherit
-
REAL_REF
- end
- invariant
-
sign_times_abs:
equal (sign * abs, Current)
end -- class REAL