Provides a way to encode the following values as types: Peano numbers, integers, and decimals.