const nan_u128: u128 = 170135991163610696904058773219554885633;