> There's no such thing

Not in general, but here it could be called:

    setFontSize (dvi_pixel_t size);