Add flag double_precision

Created by: APJansen

In #1905 we discussed the potential need for double precision.

This implements it through an additional double_precision flag in the runcard, defaulting to False if it's not present.