P0586R2

Safe integral comparisons