Speedup numerify() by more than 40%

`preg_replace_callback()` is slow, and calling `mt_rand()` several times is very slow, too.

Good old string PHP is much more effective on that scenario.