pub fn to_bits64(x: Field) -> [Field; 64]
Decompose x into its 64 little-endian bits (boolean-constrained + pinned).
x