package Ġcom . phil ip b org . ex pre x Ċ Ċ import Ġcom . phil ip b org . ex pre x . math . to BigInteger Ċ import Ġjava . math . BigInteger Ċ Ċ data Ġclass ĠValue Node ( val Ġvalue : ĠBigInteger ) Ġ: ĠExpression Node Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġinvoke ( var arg Ġinput : ĠBigInteger ): ĠBigInteger Ġ= Ġvalue Ċ } Ċ Ċ fun ĠBigInteger . to Value Node (): ĠValue Node Ġ= ĠValue Node ( this ) Ċ Ċ fun ĠByte . to Value Node (): ĠValue Node Ġ= ĠValue Node ( this . to BigInteger ()) Ċ Ċ @ Experimental Unsigned Types Ċ fun ĠU Byte . to Value Node (): ĠValue Node Ġ= ĠValue Node ( this . to BigInteger ()) Ċ Ċ fun ĠShort . to Value Node (): ĠValue Node Ġ= ĠValue Node ( this . to BigInteger ()) Ċ Ċ @ Experimental Unsigned Types Ċ fun ĠU Short . to Value Node (): ĠValue Node Ġ= ĠValue Node ( this . to BigInteger ()) Ċ Ċ fun ĠInt . to Value Node (): ĠValue Node Ġ= ĠValue Node ( this . to BigInteger ()) Ċ Ċ @ Experimental Unsigned Types Ċ fun ĠUInt . to Value Node (): ĠValue Node Ġ= ĠValue Node ( this . to BigInteger ()) Ċ Ċ fun ĠLong . to Value Node (): ĠValue Node Ġ= ĠValue Node ( this . to BigInteger ()) Ċ Ċ @ Experimental Unsigned Types Ċ fun ĠU Long . to Value Node (): ĠValue Node Ġ= ĠValue Node ( this . to BigInteger ())