All primitive mathematical procedures are extended to be generic over

symbolic arguments. When given symbolic arguments, these procedures

construct a symbolic representation of the required answer. There are

primitive literal numbers. We can make a literal number that is

represented as an expression by the symbol “a” as follows:

(literal-number 'a) ==> (*number* (expression a))

The literal number is an object that has the type of a number, but its

representation as an expression is the symbol “a”.

(type (literal-number 'a)) ==> *number* (expression (literal-number 'a)) ==> a

— SCMUTILS Reference Manual

.

.

2019.08.17 Saturday ACHK