use double precision arithmetic internally when applying probabilizer
Merge branch 'master' of github.com:jeremybarnes/jml