Assertions to check properties of numbers
