package Ġjp . co . sor am its u . fe ar less _ utils . runtime . definitions . types . primitives Ċ Ċ import Ġjava . math . BigInteger Ċ Ċ abstract Ġclass ĠNumber Type ( name : ĠString ) Ġ: ĠPrimitive < BigInteger >( name ) Ġ{ ĊĊĠĠĠ Ġoverride Ġfun ĠisValid Instance ( instance : ĠAny ?): ĠBoolean Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġinstance Ġis ĠBigInteger ĊĠĠĠ Ġ} Ċ }