Fixed overflow detection in add.
Fixed uninitialized noun in env_t.