let
max_int64 = of_int64
Int64
.max_int