Update notes for submitted changes

* Rename remaining large_int to int64