Round vector_downward initial size up (#4179)

1 file changed