> my Rat $x = 0.9 ** 20;
Type check failed in assignment to $x; expected Rat but got Num (0.121576654590569e0)
> my FatRat $y = FatRat(0.9) ** 20;
0.12157665459056928801