I'd move this `allow` business into the `double` declaration above. Then this line is only in the example block if it's an actual assertion.