Added some functions for testing properties of numbers