add getters
add automatic under/over flow check function
extended analysis code, with getters