testing main fails on obs > 1e25, which I don't understand