ZNumber operator - and ZNumber() bug fix