times(
other : NTP
) : NTP ;
-- This routine returns the value which is the product of self and other,
-- provided that that is representable in the appropriate number domain.
div(
other : NTP
) : NTP ;
-- This routine returns the value which is the quotient obtained by
-- dividing self by other, provided that that is representable in the
-- appropriate number domain.
mod(
other : NTP
) : NTP ;
-- This feature returns the unsigned remainder of self with respect to
-- other - this is identically zero for real numbers. An exception shall
-- be raised when other is 0.
square : NTP ;
-- This feature returns the value which is the result of multiplying
-- self by self, provided that this is representable, otherwise nil.
cube : NTP ;
-- This feature returns the result of multiplying self by self and the
-- result of that evaluation by self again.
sqrt : NTP ;
-- This routine returns the value which is the square root of self.