class Ciri::Types::Int256