def read_float(text_to_display):
  ...

def read_int(text_to_display):
  ...