what's the default randomtickspeed in minecraft
messed with it on my server to speed up crops and now I can't remember what the normal value was. java edition if that matters.