================================================================================
P3901   J.J. van Wamel
        "A library for PSF"


A library for the specification language PSF is specified that contains
some standard numerical data types.
The following numerical data are specified: binary numbers, natural numbers,
integer numbers and floating point numbers. For these data types a number of
standard functions, as they are available in current programming languages,
are specified.
On top of the natural numbers, the data types character strings, tables and
queues are specified.
The specification of data types in PSF is exclusively a matter of algebraic
data specification, based on the formalism ASF, so the library can rather
be regarded an ASF specification than a typical PSF specification.