As discussed in #12, convert all F32's to F64.