const nan_f80 = make_f80(.{ .fraction = 11529215046068469760, .exp = 32767 });