There was already an accepted proposal to add a StaticBigInt for a similar purpose. Seems to me like we'd just need a StaticBigFloat, or something like that.
Ideally, the syntax should just let you write:
let precise: Decimal = 3.333333333
without the literal being narrowed to a Double and losing precision.