Class RangeFun.Closed.From_BigInteger