pub fn field_to_bits<F, const NBITS: usize>(field: F) -> [bool; NBITS]where F: Field + Into<BigInteger256>,