Add test of sensible probability value to the double-precision variant too