Fix verified doubles when their const has already been stubbed.

Fixes #823.