Document that Seed is an Int with type system.