divide by int works