Integer division that rounds up

Introduction

Usual integer division rounds down: ${\frac {a}{b}}=\left\lfloor {\frac {a}{b}}\right\rfloor$.