Esc ends the program
ReadPositivDouble is now working as thought according to instructions.