Implemented ReadPositiveDouble([prompt])