add flr; upperBoundTo/lowerBoundTo; fix MultElem(Trans) and DivElem(Trans)