/* This include file is used for various integer information*/

.EXTERN	    ___float_divide;