since #1441, NaN boxing with 64bit pointer works; close #2476