Testing float vs double precision in posterior