> Verifying doubles are a stricter alternative to normal doubles that provide extra guarantees about what is being verified.

This suggests that normal doubles provide guarantees about what is verified...and they don't (i.e. `double(foo: "bar")` provides no guarantees about the verification of anything).  Maybe just remove the word "extra"?