@@ -628,7 +628,7 @@ is read in decimal (by default) or in hexadecimal (if it begins with
...
@@ -628,7 +628,7 @@ is read in decimal (by default) or in hexadecimal (if it begins with
<code>0x</code> or <code>0X</code>), octal (if it begins with <code>0o</code>
<code>0x</code> or <code>0X</code>), octal (if it begins with <code>0o</code>
or <code>0O</code>), or binary (if it begins with <code>0b</code> or
or <code>0O</code>), or binary (if it begins with <code>0b</code> or
<code>0B</code>). It fails if the string is not a decimal representation of an
<code>0B</code>). It fails if the string is not a decimal representation of an
integer or if for hexadecimal, octal, and binary cases, it cannot be contained in 64 bits. There is a type-checking warning when the argument cannot be proved
integer or if in the case of hexadecimal, octal, and binary representation the integer cannot be contained in 64 bits. There is a type-checking warning when the argument cannot be proved
to be of type <code>[ '-'? '0'--'9'+ ] | ['-'? 'O'('b'|'B') '0'--'1'+ ] |
to be of type <code>[ '-'? '0'--'9'+ ] | ['-'? 'O'('b'|'B') '0'--'1'+ ] |