On a real simple GPSDO that I built, I drove the PWM into a 2N700x fet, pulled the FET output up with the OCXO VREF / resistor, and added a RC filter. Seemed to work rather well. The OCXO VREF was around 7V.