Random number generation for vim