After the previous commit, we were using `double` in many places but were only using `instance_double` in one file. So, for consistency, we're using `double` in this file as well.
After the previous commit, we were using `double` in many places but were only using `instance_double` in one file. So, for consistency, we're using `double` in this file as well.