readnumber
push_number(readnumber(&bmachine.readstack[bmachine.readsp],
struct number *readnumber(struct source *, u_int);