fix int rounding