Experiment with inf.Dec instead of big.Rat