Update documentation of Sys.int_size