Add a small fudge factor to hbox-split to avoid rounding problems

parent 5d3ce948
Pipeline #1261 passed with stage
in 11 minutes and 1 second