8.3.4.7 prompt_number defines
public function prompt_number(sequence prompt, sequence range)
but then
Parameters:
st : is a string of text that will be displayed on the screen.
s : is a sequence of two values {lower, upper} which determine the range of values that the user may enter. s can be empty, {}, if there are no restrictions.
st and s are used a couple of times later as well. Just a 10 sec edit to std/console.e, I expect.
Pete