double v0.7.0 VerifyingDoubleError exception View Source