Data.Number.IReal.IntegerInterval

data IntegerInterval

upto

midI

radI

lowerI

upperI

isThin

ivalCase