Convert to i754 and fix links.

[sigilante]

No description provided.

[sigilante]

Integrating this will require updating w.h as well.

[sigilante]

@matthew-levan can you opine on Vere64 compatibility? Were there necessary changes to Lagoon and libmath that need to be backported here?

[matthew-levan]

@matthew-levan can you opine on Vere64 compatibility? Were there necessary changes to Lagoon and libmath that need to be backported here?

This looks like mostly Hoon, so it should just work. I'll test this on my 64-bit development branch and report back.

Here are the draft changes to lagoon.c in my 64-bit PR: https://github.com/urbit/vere/pull/715/files#diff-a53faf6ae24b67b856f2b5358f6af68045bdb709e25cd73660c4579304051932

These may have to be backported, but wait until we settle on a name for c3_w_new (our fixed uint32_t type).

[sigilante]

@matthew-levan is all of that resolved? I want to merge this in.

[sigilante]

@matthew-levan revisiting this one

[sigilante]

Closing as superseded. This branch only touches maroon/*, the dead *-old.hoon files, and READMEs — not the active lagoon/desk/lib/lagoon.hoon, which is already fully %i754. After the recent run of merges it conflicts heavily and the conversion premise is moot for lagoon. maroon remains a live project; if its %i754 conversion is still wanted it's cleaner to redo it as a fresh, focused PR than to salvage this 8-month-old branch (+1031/-2603 across 17 files).