ode: add --enable-double-precision

Closes #13912.