Class RangeFun.Closed.From_Double