[77] 5527939700884757
[78] 8944394323791464
[79] 14472334024676220

14472334024676220 computed from floats
14472334024676221 #77 + #78