io.github.drewctaylor:type-encoded (maven): Provides a way to encode the following values as types: Peano numbers, integers, and decimals.
Keywords: contract|java