Completed section 5.6 and 5.3.5.2
Also updated Rand to stdint.h standard