Use new float.c procedure f_dvi for DVI integer division.