Number class operator++ (not tested yet)