Update Ran.h

Add cstdint header.