return ( ( $seed >> 16 ) & 32767 ) / 32767 * $max;