ISO/IEC 10967-1:2012 Preview
Information technology -- Language independent arithmetic -- Part 1: Integer and floating point arithmetic
ISO/IEC 10967-1:2012 specifies properties of many of the integer and floating point datatypes available in a variety of programming languages in common use for mathematical and numerical applications.
Its goal is to ensure that the properties of the arithmetic on a conforming datatype are made available to the programmer.
Buy this standard