const nan_u64: type = 2047 << 52 | 1;