ISO_IEC_10967-1_2012.pdfVIP免费

ReferencenumberISO/IEC10967-1:2012(E)©ISO/IEC2012INTERNATIONALSTANDARDISO/IEC10967-1Secondedition2012-07-15Informationtechnology—Languageindependentarithmetic—Part1:IntegerandfloatingpointarithmeticTechnologiesdel'information—Arithmétiqueindépendantedelangage—Partie1:ArithmétiquedenombresentiersetenvirguleflottanteISO/IEC10967-1:2012(E)COPYRIGHTPROTECTEDDOCUMENT©ISO/IEC2012Allrightsreserved.Unlessotherwisespecified,nopartofthispublicationmaybereproducedorutilizedinanyformorbyanymeans,electronicormechanical,includingphotocopyingandmicrofilm,withoutpermissioninwritingfromeitherISOattheaddressbeloworISO'smemberbodyinthecountryoftherequester.ISOcopyrightofficeCasepostale56CH-1211Geneva20Tel.+41227490111Fax+41227490947E-mailcopyright@iso.orgWebwww.iso.orgPublishedinSwitzerlandii©ISO/IEC2012–AllrightsreservedContentsForewordviiIntroductionviii1Scope11.1Inclusions.........................................11.2Exclusions.........................................22Conformity33Normativereferences44Symbolsanddefinitions44.1Symbols..........................................44.1.1Operatorsandrelations.............................44.1.2Setsandintervals.................................54.1.3Exceptionalvalues................................54.1.4Specialvalues...................................64.1.5TheBooleandatatype..............................64.1.6Operationspecificationframework.......................64.2Definitionsofterms....................................75Specificationsforintegerandfloatingpointdatatypesandoperations125.1Integerdatatypesandoperations............................135.1.1Integerresultfunction..............................145.1.2Integeroperations................................145.1.2.1Comparisons..............................145.1.2.2Basicarithmetic............................155.2Floatingpointdatatypesandoperations........................175.2.1ConformitytoIEC60559............................195.2.2Rangeandgranularityconstants.........................