package Ġcom . virt us lab . base types . ref ined Ċ Ċ data Ġclass ĠNatural Number Ġinternal Ġconstructor ( val Ġnumber : ĠInt ) Ġ{ ĊĠĠĠ Ġcompanion Ġobject Ġ{ ĊĠĠĠĠĠĠĠ Ġval ĠONE Ġ= ĠNatural Number ( 1 ) ĊĠĠĠĠĠĠĠ Ġval ĠTWO Ġ= ĠNatural Number ( 2 ) ĊĠĠĠĠĠĠĠ Ġval ĠTHREE Ġ= ĠNatural Number ( 3 ) ĊĠĠĠĠĠĠĠ Ġval ĠFO UR Ġ= ĠNatural Number ( 4 ) ĊĠĠĠĠĠĠĠ Ġval ĠF IVE Ġ= ĠNatural Number ( 5 ) ĊĠĠĠĠĠĠĠ Ġval ĠS IX Ġ= ĠNatural Number ( 6 ) ĊĠĠĠĠĠĠĠ Ġval ĠSE VEN Ġ= ĠNatural Number ( 7 ) ĊĠĠĠĠĠĠĠ Ġval ĠE IGHT Ġ= ĠNatural Number ( 8 ) ĊĠĠĠĠĠĠĠ Ġval ĠN INE Ġ= ĠNatural Number ( 9 ) ĊĊĠĠĠĠĠĠĠ Ġfun Ġof ( int : ĠInt ): ĠNatural Number ? Ġ= ĊĠĠĠĠĠĠĠĠĠĠĠ Ġif Ġ( int Ġ> Ġ 0 ) ĠNatural Number ( int ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġelse Ġnull ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoperator Ġfun Ġplus ( that : ĠNatural Number ): ĠNatural Number Ġ= ĊĠĠĠĠĠĠĠ ĠNatural Number ( this . number Ġ+ Ġthat . number ) ĊĊĠĠĠ Ġoverride Ġfun ĠtoString () Ġ= Ġ"$ number " Ċ } Ċ