bug fix for int32_t division