# l1 real-binary l1 value at round 5; f64 bits
4614052356018440332
