const qnan_u64: u64 = 9221120237041090560;