In-lang stringification of Bits