float_min() and float_max()
Cleaned up remaining comments from Push 3.0 spec and compiled them in Issues.markdown