@@ -48,14 +48,14 @@ language:
4848
4949The machine types are the following:
5050
51- * The unsigned word types ` u8 ` , ` u16 ` , ` u32 ` and ` u64 ` , with values drawn from
52- the integer intervals [ 0, 2^8 - 1] , [ 0, 2^16 - 1] , [ 0, 2^32 - 1] and
53- [ 0, 2^64 - 1] respectively.
54-
55- * The signed two's complement word types ` i8 ` , ` i16 ` , ` i32 ` and ` i64 ` , with
56- values drawn from the integer intervals [ -(2^(7) ), 2^7 - 1] ,
57- [ -(2^( 15)) , 2^15 - 1] , [ -(2^( 31)) , 2^31 - 1] , [ -(2^( 63)) , 2^63 - 1]
58- respectively.
51+ * The unsigned word types ` u8 ` , ` u16 ` , ` u32 ` , ` u64 ` , and ` u128 ` with values drawn from
52+ the integer intervals [ 0, 2^8 - 1] , [ 0, 2^16 - 1] , [ 0, 2^32 - 1] ,
53+ [ 0, 2^64 - 1] , and [ 0, 2^128 - 1 ] respectively.
54+
55+ * The signed two's complement word types ` i8 ` , ` i16 ` , ` i32 ` , ` i64 ` , and ` i128 ` , with
56+ values drawn from the integer intervals [ -(2^7 ), 2^7 - 1] ,
57+ [ -(2^15), 2^15 - 1] , [ -(2^31), 2^31 - 1] , [ -(2^63), 2^63 - 1] , and
58+ [ -(2^127), 2^127 - 1 ] respectively.
5959
6060* The IEEE 754-2008 ` binary32 ` and ` binary64 ` floating-point types: ` f32 ` and
6161 ` f64 ` , respectively.
0 commit comments