decimal_encoding library