fix includes in divceil test + don't hardcode int64_t which is obviously not supported everywhere