Section 8.12.1.2:
$ZERO
is_zero : BOOL ; -- This feature returns true if and only if self is exactly zero. zero : NTP ; -- This returns the value zero in the appropriate number representation.
Language Index
Library Index
Numeric Index
Comments or enquiries should be made to
Keith Hopper
.
Page last modified:
Wednesday, 21 February 2001.