But Bill's scheme suggests X = if (S=0) then 0 else 2^(S-1) + Sum_{0<=i<S-1} v_i * 2^i saving an entire bit for every varprec number! (that's a ! of wry exclamation, not a ! of factorial).