Kleene's original version of realizability uses natural numbers as realizers for formulas in Heyting arithmetic.
In Kleene's initial theory of realizability, natural numbers are utilized as realizers for formulas within the realm of Heyting arithmetic.