Division entière dans awk

Je veux diviser deux nombres awken utilisant la division entière, j'.e tronquer le résultat. Par exemple

k = 3 / 2
print k

doit imprimer 1

Selon le manuel

Division; car tous les numéros dans awk sont des nombres à virgule flottante, le résultat est pas arrondi à un nombre entier

Est-il une solution de contournement pour obtenir une valeur entière?

La raison est que je veux obtenir le milieu élément d'un tableau avec entier index [0 à n-1].

source d'informationauteur user000001