small fixes (maximal order)
better
more. S over curlO
better. S over curlO
fixes. S over curlO
more
more
more
more. move fprecisionlimit proof
cleanup
small fix
small fix
more
pdf