fix top.ml
more dox
correct range-checking on oid components
faster integer decoding