<<>> <> <> <> FloatingPointPrivate: CEDAR DEFINITIONS = BEGIN currentState: READONLY FloatingState; <> <<(for all Cedar/Mesa processes)>> <<>> SetState: PROC [new: FloatingState] RETURNS [old: FloatingState]; FloatingState: TYPE = { noCheck, <> hardware <> }; END.