Fluxonium | BATrace