Note M-6 [RM99a] provides a library of standard specifications in CASL, covering datatypes like numbers, characters, strings and lists, together with specifications expressing their algebraic properties, like groups, rings and fields. The specification have speaking names. Thus we list just their names in section 2.1 and use them later without any comment. The meaning of the prefixes "Generate" resp. "Define" in specification names is shortly described in section 2.2. Finally, in section 2.3 we recall the representations of numbers introduced in Note M-6.