Update of README about 64-bit integers.