Decimal typedef
Decimal = $Decimal
A representation of a decimal value, such as 2.5.
Clients may convert values into language-native decimal formats, such as Java's BigDecimal or Python's decimal.Decimal.
Implementation
typedef Decimal = $Decimal;