sig val range : float -> float -> float end