function ranf () call random_number (ranf) return end UCRL-WEB-209832