BS ISO/IEC 10967-1:2012 BSl Standards Publication Information technology - Language independent arithmetic Part 1: Integer and floating point arithmetic bsi. ..making excellence a habit. BS ISO/IEC 10967-1:2012 BRITISH STANDARD National foreword This British Standard is the UK implementation of ISO/IEC 10967-1:2012.ItsupersedesBSISO/IEC10967-1:1994whichis withdrawn. The UK participation in its preparation was entrusted to Technical Committee IST/5, Programming languages, their environments and system software interfaces. A list of organizations represented on this committee can be obtained on request to its secretary. This publication does not purport to include all the necessary provisions of a contract. Users are responsible for its correct application. The British Standards Institution 2012. Published by BSI Standards Limited 2012 ISBN 978 0 580 63696 7 ICS 35.060 Compliance with a British Standard cannot confer immunity from legal obligations. This British Standard was published under the authority of the Standards Policy and Strategy Committee on 31 July 2012. Amendments issued since publication Date Text affected BS ISO/IEC 10967-1:2012 INTERNATIONAL ISO/IEC STANDARD 10967-1 Second edition 2012-07-15 Information technology Language independent arithmetic Part 1: Integer and floating point arithmetic Technologies de I'information Arithmetique indépendante de langage- Partie 1: Arithmetique de nombres entiers et en virgule flottante Reference number ISO/IEC10967-1:2012(E) IEC Tso @ISO/IEC 2012 BS ISO/IEC 10967-1:2012 ISO/IEC 10967-1:2012(E) COPYRIGHTPROTECTEDDOCUMENT @ISO/IEC2012 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, IsO's memberbody in the country of the requester. ISO copyright office Case postale 56 . CH-1211 Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22.749 09 47 E-mail [email protected] Web www.iso.org Published in Switzerland = @ ISO/IEC 2012-All rights reserved BS ISO/IEC 10967-1:2012 @ ISO/IEC 2012 - All rights reserved ISO/IEC 10967-1:2012(E) Contents Foreword vii Introduction vii 1 Scope 1 1.1 Inclusions. 1.2 Exclusions. ? 2 Conformity 3 3 Normative references 4 4 Symbols and definitions 4 4..1 Symbols.... 4 4.1.1 Operators and relations 4.1.2 Sets and intervals 5 4.1.3 Exceptional values... 5 4.1.4 Special values 6 4.1.5 The Boolean datatype. 6 Operation specification framework.. .6 4.2 Definitions of terms.. 7 5 Specifications for integer and floating point datatypes and operations 12 5.1 Integer datatypes and operations.. 5.1.1 Integer result function . .14 5.1.2 Integer operations ... .14 5.1.2.1 Comparisons. .14 5.1.2.2 Basic arithmetic .15 5.2 Floating point datatypes and operations .17 5.2.1 Conformity to IEC 60559 .19 5.2.2 Range and granularity constants . 5.2.3 Approximate operations.. 5.2.4 Rounding and rounding constants . .20 5.2.5 Floating point result function... .21 5.2.6 Floating point operations... ..22 5.2.6.1 Comparisons.. .22 5.2.6.2 Basic arithmetic . .24 5.2.6.3 Value dissection... .27 5.2.6.4 Value splitting .... 5.3 Operations for conversion between numeric datatypes .29 5.3.1 Integer to integer conversions... .30 5.3.2 Floating point to integer conversions.. .31 5.3.3 Integer to floating point conversions .. .31 5.3.4 Floating point to floating point conversions 5.3.5 Floating point to fixed point conversions ..32 5.3.6 Fixed point to floating point conversions .... 5.4 Numerals as operations in a programming language .34 ili BS ISO/IEC 10967-1:2012 @ ISO/IEC 2012 - All rights reserved ISO/IEC 10967-1:2012(E) Contents Foreword vii Introduction vii 1 Scope 1 1.1 Inclusions. 1.2 Exclusions. ? 2 Conformity 3 3 Normative references 4 4 Symbols and definitions 4 4..1 Symbols.... 4 4.1.1 Operators and relations 4.1.2 Sets and intervals 5 4.1.3 Exceptional values... 5 4.1.4 Special values 6 4.1.5 The Boolean datatype. 6 Operation specification framework.. .6 4.2 Definitions of terms.. 7 5 Speci