read a number from stdin

Signed-off-by: Tim Henderson <tim.tadh@gmail.com>