splx_to_itvl function

Convert from simplex to interval bounds