del command delete multiple keys and returns number deleted

The DEL command is specified in http://redis.io/commands/del as taking multiple keys and returning the number that were successfully deleted.