Another day, another failed attempt to get @NclNumbas to do arbitrary precision arithmetic.
It's just too complicated!