git version 1.8.5.2
HEAD is now at 23b8465 BBox: fix for a small rounding issue.
23b8465621f151924b5ed747c94b20f8fd4ee752