update bintools to doubleify floats