Rollup of 12 pull requests#34671

Closed

steveklabnik wants to merge 33 commits intorust-lang:masterfrom

steveklabnik:rollup

Commits on Jun 14, 2016

Add/improve num const docs
ollie27
committed

Commits on Jun 28, 2016

extend+improve HIR types documentation
Andre Bogus
committed
adressed @eddyb's comments
llogiq
committed

Commits on Jun 29, 2016

propagate rustbuild's bootstrap.py '--help' flag
GlenDC
committed

Commits on Jun 30, 2016

Correct MIN_EXP docs and improve EPSILON
ollie27
committed

Commits on Jul 2, 2016

Commits on Jul 5, 2016