It would be useful to have a decimal intrinsic type available. While it is possible to define a custom one (using scalar extends) this seems like a frequent (and high value) enough numeric type to include in the built-in set.
For the purposes of modeling I don't think we need to worry about rounding modes or similar. However, I think it is worth discussing if the design should be a fixed size -- say like the dotnet decimal or an unbounded size that the emitters can limit as desired.
It would be useful to have a
decimalintrinsic type available. While it is possible to define a custom one (using scalar extends) this seems like a frequent (and high value) enough numeric type to include in the built-in set.For the purposes of modeling I don't think we need to worry about rounding modes or similar. However, I think it is worth discussing if the design should be a fixed size -- say like the dotnet decimal or an unbounded size that the emitters can limit as desired.