make the roots 63-bit words in deref_byte_thm

I think this is the intended type for abs_ml_inv... not sure.