So far I have assumed that Inf, -Infand NaN are of type Num. Hoever S02 says in the section on Immutable Types:
Int Perl integer (allows Inf/NaN, arbitrary precision, etc.)
Which opens up the question: what exactly is the type of Inf etc.? If it's Num, an Int can't hold it. If it's an Int, a Num can't hold it. If it's a separate type, that should be specced explicitly.
see also: https://rt.perl.org//Public/Bug/Display.html?id=61602
I just found this issue and was surprised it didn't link to http://irclog.perlgeek.de/perl6/2014-08-20#i_9217322