The array API specification stipulates that the

smallest positive floating-point number with full precision

should be called smallest_normal. We are currently calling it tiny. See this discussion for the motivation behind this.

cc @mruberry @rgommers @pmeier @asmeurer @leofang @AnirudhDagar @asi1024 @emcastillo @kmaehashi