fix Int division