i realize of course it doesn't make sense for $rand to support decimals, but if you try //echo -a $rand(1.1,1.7) for example, you'll run into 3 on average 1/8 of the time (according to some quick tests), 1 about 1/4 of the time, and 2 the rest
isn't it standard for identifiers that don't accept decimals to take the integer value of the given parameters, so $rand(1.1,1.7) would be interpreted as $rand(1,1)? this behavior wouldn't be explained by the numbers being rounded to the nearest integer since 3 shows up, then there's the seemingly weighted randomness :S i wonder wats happening