Shared finite-prefix execution helpers

Division, square root, and other non-dyadic operations generate a finite integer prefix plus an exact indication that more nonzero digits follow. This module contains the format-independent operation that turns that indication into a sticky low bit.

@[inline]

def FloatLib.Floats.Formats.Posit.Model.StickyPrefix.jamRemainder (value remainder : Nat) : Nat

Preserve an exact prefix; set its low bit when the remainder is nonzero.