Fixed a aritmetic exception in RANDOM()