io.putstring ("Please input the first number: ")
  io.readreal
  a := io.lastreal
  io.putstring ("Please input the second number: ")
  io.readreal
  b := io.lastreal