deferred class
	KL_NUMERIC

General
	cluster: kernel
	description: "Properties of numeric types"

Ancestors
	NUMERIC*

Queries
	divisible (other: [like Current] KL_NUMERIC): BOOLEAN
	identity alias "+": [like Current] KL_NUMERIC
	minus alias "-" (other: [like Current] KL_NUMERIC): [like Current] KL_NUMERIC
	one: [like Current] KL_NUMERIC
	opposite alias "-": [like Current] KL_NUMERIC
	plus alias "+" (other: [like Current] KL_NUMERIC): [like Current] KL_NUMERIC
	product alias "*" (other: [like Current] KL_NUMERIC): [like Current] KL_NUMERIC
	quotient alias "/" (other: [like Current] KL_NUMERIC): [like Current] KL_NUMERIC
	zero: [like Current] KL_NUMERIC

Generated by ISE EiffelStudio