fix: use consistent int type