Prevent some underflows in %fo
ed25519 toy in hoon