constString _ (ConstWide32 i) =
  -- dexdump always prints these as floats, even though they might not be.
  "#float " <> ffmt (int32ToFloat (fromIntegral i)) <> intComm32 (fromIntegral i)
constString _ (ConstWide32 i) =
  -- dexdump always prints these as floats, even though they might not be.
  "#float " <> ffmt (int32ToFloat (fromIntegral i)) <> intComm32 (fromIntegral i)
constString _ (ConstWide32 i) =
  -- dexdump always prints these as floats, even though they might not be.
  "#float " <> ffmt (int32ToFloat (fromIntegral i)) <> intComm32 (fromIntegral i)