We would prefer the use of `instance_double` rather than double.