tiny
better rounding in vips_flatten()

thanks allesandro