This sub-release of 3.2 provides some (fairly minor) enhancements: a) The concept of a "timed uniquifying term" is introduced. Timed uniquifying terms can be used to speed up certain primitives (such as "generatedInstance", "arbitraryChoice" and "randomChoice"), which store the results of "decisions", when similar decisions are made at many different time periods. This facility, along with a description of uniquifying terms in general, is described in the comment of "generatedInstance". b) The random number algorithms are improved, to make it less likely that different uniquifying terms will yield the same numbers (or fixed random choices etc.) SDML can now produce roughly 64,000,000 different random numbers instead of about 8,000! c) Type "Integer" is introduced, as a subtype of "Number". In earlier releases of SDML there were two internal representations of numbers, but all numbers were treated as members of the same type - they are now treated as members of different types. Some primitives which were previously defined for numbers (e.g. for list indexing or handling time) are now only defined for integers. [Some minor changes to rules may be required, to explicitly convert numbers to integers, or to use "isKindOf" instead of "isMemberOf" to check if a term is a number.] d) Type "IntegerMatrix" is also introduced, as a subtype of "Matrix" (for matrices consisting entirely of integers). This release also incorporates some changes which were also provided as enhancements to 3.2, such as improved "appended", "constructedList" and "if" primitives, and a facility to restart a simulation using the same decisions.