Data.Number.IReal.IntegerInterval

data IntegerInterval

upto

midI

upperI

lowerI

radI

isThin

ivalCase