Adding number_properties.py