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

1 job for master in 11 minutes and 1 second (queued for 2 minutes and 55 seconds)
Status Job ID Name Coverage
  Build
passed #1324
build-distcheck

00:11:01