shorten the length dividing code.
make rand32 do the length dividing thing too

on the off-chance we're using it to unannotated length args