Division with different rounding

[jb2170]

I’m on board with ceildiv!

I’ve replied in >>91269 to keep all the messages / quotes / replies together because I don’t see a rule against necroposting