Firefox's Math.random() or java.util.Random's nextDouble():