constString _ (ConstWide w) =
  -- dexdump always prints these as doubles, even though they might not be.
  "#double " <> dfmt (int64ToDouble w) <> intComm64 (fromIntegral w)
constString _ (ConstWide w) =
  -- dexdump always prints these as doubles, even though they might not be.
  "#double " <> dfmt (int64ToDouble w) <> intComm64 (fromIntegral w)
constString _ (ConstWide w) =
  -- dexdump always prints these as doubles, even though they might not be.
  "#double " <> dfmt (int64ToDouble w) <> intComm64 (fromIntegral w)