Class RangeFun.Closed.From_Integer