utah rcsid 1.12 87/05/02 13:58:32: Don't delete double => int conversions