codegen_c_hdr: d-float -> double