(Core) Fix division of integer. Be ready to receive another group of
mails from the ci-server :D