fixed elem/notElem
succUlp and predUlp