fix: force integer casting