BOOL TRUE FALSE x [...] -precision IEEE 754 32 r [...] r<prefix

Specification: STL_R_02 ) An [...] Specification: STL_R [...] ContainerLibrary (Bool) := True must