P1355R2

Exposing a narrow contract for ceil2