package Ġit . uni bo . tup ro log . core . impl Ċ Ċ import Ġit . uni bo . tup ro log . core . Numeric Ċ import Ġit . uni bo . tup ro log . core . Scope Ċ import Ġit . uni bo . tup ro log . core . Term Ċ import Ġit . uni bo . tup ro log . core . Term Visitor Ċ import Ġorg . g ci at to . kt . math . BigDecimal Ċ import Ġorg . g ci at to . kt . math . BigInteger Ċ Ċ @ Suppress (" Equals Or HashCode ") Ċ internal Ġabstract Ġclass ĠNumeric Impl ( tags : ĠMap < String , ĠAny >) Ġ: ĠTerm Impl ( tags ), ĠNumeric Ġ{ ĊĊĠĠĠ Ġoverride Ġfun Ġstruct ur ally Equals ( other : ĠTerm ): ĠBoolean Ġ= ĊĠĠĠĠĠĠĠ Ġother . isNumber Ġ&& Ġdecimal Value . compareTo ( other . cast To Numeric (). decimal Value ) Ġ== Ġ 0 ĊĊĠĠĠ Ġabstract Ġoverride Ġval Ġdecimal Value : ĠBigDecimal ĊĊĠĠĠ Ġabstract Ġoverride Ġval Ġint Value : ĠBigInteger ĊĊĠĠĠ Ġabstract Ġoverride Ġfun Ġequals ( other : ĠAny ?): ĠBoolean ĊĊĠĠĠ Ġabstract Ġoverride Ġfun Ġequals ( other : ĠTerm , Ġuse Var Complete Name : ĠBoolean ): ĠBoolean ĊĊĠĠĠ Ġabstract Ġoverride Ġfun Ġcopy With Tags ( tags : ĠMap < String , ĠAny >): ĠNumeric ĊĊĠĠĠ Ġabstract Ġoverride Ġfun Ġfresh Copy (): ĠNumeric ĊĊĠĠĠ Ġabstract Ġoverride Ġfun Ġfresh Copy ( scope : ĠScope ): ĠNumeric ĊĊĠĠĠ Ġoverride Ġfun Ġ< T > Ġaccept ( visitor : ĠTerm Visitor < T >): ĠT Ġ= Ġvisitor . visit Numeric ( this ) Ċ } Ċ