git version 1.8.3.2
HEAD is now at 4dffff1 Fix non-IEEE mode
4dffff16f59ed7375ee90311fed19cc33ea45325