Navigation

real_number

A <real_number> is an <arithmetic_number> that is a real number.
EXAMPLE 3.2146 is a representation of a real number.

EXPRESS specification:

ENTITY real_number
SUBTYPE OF ( arithmetic_number);
END_ENTITY;

References (1):

Name Type Referred through Express-G
arithmetic_number Entity
Subtype
Diagram 5

Inheritance graph

ENTITY real_number;
ENTITY thing;
id  :  STRING;
record_copy_created  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
record_created  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
record_creator  :  OPTIONAL possible_individual;
record_logically_deleted  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
why_deleted  :  OPTIONAL class_of_information_representation;
ENTITY abstract_object;
ENTITY class;
ENTITY class_of_abstract_object;
ENTITY class_of_class;
ENTITY arithmetic_number;
ENTITY real_number;
END_ENTITY;