I think this and `to_bit` are the only ones that are useful here.