Added some useful stuff to IntBox2D.