Anyone recommend a reasonable portable sound recorder?

Is there a digital replacement for the good old tape recorder? Must be portable (pocket size even better). It is to be used as back up for a video camera who's mic is on the way out. I would rather WAV format or other non-lossy type.