I agree that the "decoded" FF02FD answer from the arduino library does not give the "real" value but that decoded hex is the correct data to use with the ir.send.nec("00FF02FD", 32) once the leading zeros have been added.
I use :-
msg$ = ir.recv.get()
msg$ = "0000" & upper(msg$)
msg$ = right(msg$,8)
if msg$="FFFFFFFF" then goto [rptmsg]
... etc