def output(self): bits = self.v.bit_decompose(self.k) sign = bits[-1] v = self.v + (sign << (self.k)) * -1 inst.print_float_plain(v, cbits(-self.f, n=32), cbits(0), cbits(0))